{"ast_node_type":"other","tokens":[{"end":89,"kind":"keyword","start":0,"text":"//"}]}
        // We have proven the borrow disjoint - further projections will remain disjoint.
    if borrow_local != access_local {
        return false;