{"ast_node_type":"other","tokens":[{"end":84,"kind":"keyword","start":0,"text":"//!"}]}
//! On each step, if we didn't run out of borrow or place, we know that our elements
//!
//! have the same type, and that they only overlap if they are the identical.