fn check_ty<'tcx>( tcx: TyCtxt<'tcx>, ty: Ty<'tcx>, span: Span ) -> Result<(), (Span, Cow<'static, str>)>