{"ast_node_type":"other","tokens":[{"end":85,"kind":"keyword","start":0,"text":"(Activation(_,"}]}
                    (Activation(_, activating), _) if activating == borrow_index => {
                    // thus aren't injecting unsoundness w/ this check.)
                        // Activating a borrow doesn't generate any invalidations, since we