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