rustc_mir_dataflow::rustc_peek

Function sanity_check

Source 
pub fn sanity_check<'tcx>(tcx: TyCtxt<'tcx>, body: &Body<'tcx>)