{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"//"}]}
                    // Obviously an activation is compatible with its own
                match (rw, borrow.kind) {
                    // reservation (or even prior activating uses of same