fn check_terminator<'tcx>( tcx: TyCtxt<'tcx>, body: &Body<'tcx>, terminator: &Terminator<'tcx>, msrv: &Msrv) -> Result<(), (Span, Cow<'static, str>)>