{"ast_node_type":"function","tokens":[{"end":73,"kind":"keyword","start":0,"text":"fn"}]}
    fn emit_loan_invalidated_at(&mut self, b: BorrowIndex, l: Location) {
    /// Generates a new `loan_invalidated_at(L, B)` fact.
        let lidx = self.location_table.start_index(l);