pub(crate) fn check<'tcx>(tcx: TyCtxt<'tcx>, body: &Body<'tcx>)