fn check_ty<'tcx>( cx: &LateContext<'tcx>, ty: Ty<'tcx>, span: Span, msrv: Msrv, ) -> Result<(), (Span, Cow<'static, str>)>