gaming

Author: lcnr

compiler/rustc_hir_typeck/src/opaque_types.rs

@@ -48,13 +48,9 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
                 ) => continue,
             }
 
+            // TODO
             if hidden_type.ty.has_non_region_infer() {
-                let guar =
-                    tcx.dcx().span_err(hidden_type.span, "non-defining use in the defining scope");
-                typeck_results
-                    .concrete_opaque_types
-                    .insert(opaque_type_key.def_id, OpaqueHiddenType::new_error(tcx, guar));
-                self.set_tainted_by_errors(guar);
+                continue;
             }
 
             let hidden_type = hidden_type.remap_generic_params_to_declaration_params(

src/tools/clippy/clippy_utils/src/ty/mod.rs

@@ -20,8 +20,8 @@ use rustc_middle::traits::EvaluationResult;
 use rustc_middle::ty::layout::ValidityRequirement;
 use rustc_middle::ty::{
     self, AdtDef, AliasTy, AssocItem, AssocTag, Binder, BoundRegion, FnSig, GenericArg, GenericArgKind, GenericArgsRef,
-    GenericParamDefKind, IntTy, ParamEnv, Region, RegionKind, TraitRef, Ty, TyCtxt, TypeSuperVisitable, TypeVisitable,
-    TypeVisitableExt, TypeVisitor, UintTy, Upcast, VariantDef, VariantDiscr,
+    GenericParamDefKind, IntTy, ParamEnv, Region, RegionKind, TraitRef, Ty, TyCtxt, TypeFoldable, TypeSuperVisitable,
+    TypeVisitable, TypeVisitableExt, TypeVisitor, UintTy, Upcast, VariantDef, VariantDiscr,
 };
 use rustc_span::symbol::Ident;
 use rustc_span::{DUMMY_SP, Span, Symbol, sym};