{"ast_node_type":"other","tokens":[{"end":81,"kind":"keyword","start":0,"text":"(Activation(_,"}]}
                (Activation(_, activating), _) if activating == borrow_index => {
                // thus aren't injecting unsoundness w/ this check.)
                    debug!(