{"ast_node_type":"other","tokens":[{"end":84,"kind":"keyword","start":0,"text":"//!"}]}
//!  - If we didn't run out of access to match, our borrow and access are comparable
//! Our invariant is, that at each step of the iteration:
//!    and either equal or disjoint.