flux_driver::callbacks

Function stash_body_with_borrowck_facts

Source 
fn stash_body_with_borrowck_facts<'tcx>(tcx: TyCtxt<'tcx>, def_id: LocalDefId)