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