gaming

lcnr · compiler-errors · commit 333201e53abd · 2025-05-01T15:36:58.000Z
diff --git a/compiler/rustc_hir_typeck/src/opaque_types.rs b/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(

Original file line number	Diff line number	Diff line change
`@@ -48,13 +48,9 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {`
`48`	`48`	`) => continue,`
`49`	`49`	`}`
`50`	`50`
	`51`	`+ // TODO`
`51`	`52`	`if hidden_type.ty.has_non_region_infer() {`
`52`		`- let guar =`
`53`		`- tcx.dcx().span_err(hidden_type.span, "non-defining use in the defining scope");`
`54`		`- typeck_results`
`55`		`- .concrete_opaque_types`
`56`		`- .insert(opaque_type_key.def_id, OpaqueHiddenType::new_error(tcx, guar));`
`57`		`- self.set_tainted_by_errors(guar);`
	`53`	`+ continue;`
`58`	`54`	`}`
`59`	`55`
`60`	`56`	`let hidden_type = hidden_type.remap_generic_params_to_declaration_params(`