{"ast_node_type":"other","tokens":[{"end":29,"kind":"keyword","start":0,"text":"visitor.visit_body(body);"}]}
    visitor.visit_body(body);
        LoanInvalidationsGenerator { facts, borrow_set, tcx, location_table, body, dominators };
}