{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"///"}]}
/// Most of the code implementing this was stolen from `borrow_check/mod.rs`.
/// Visits the whole MIR and generates `invalidates()` facts.
impl<'a, 'tcx> Visitor<'tcx> for LoanInvalidationsGenerator<'a, 'tcx> {