{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"self.record_killed_borrows_for_place(destination,"}]}
            self.record_killed_borrows_for_place(destination, location);
        if let TerminatorKind::Call { destination, .. } = terminator.kind {
        }