{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"///"}]}
    /// Generates a new `loan_invalidated_at(L, B)` fact.
    fn emit_loan_invalidated_at(&mut self, b: BorrowIndex, l: Location) {