{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"//"}]}
                // We have proven the borrow disjoint - further
            Overlap::Disjoint => {
                // projections will remain disjoint.