{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"//"}]}
                // reservation (or even prior activating uses of same
                // Obviously an activation is compatible with its own
                // borrow); so don't check if they interfere.