{"ast_node_type":"function","tokens":[{"end":93,"kind":"keyword","start":0,"text":"fn"}]}
    fn check_activations(&mut self, location: Location, span: Span, state: &BorrowckDomain) {
        // Two-phase borrow support: For each activation that is newly