The new solver ignores DefineOpaqueTypes, so switch it to Yes

We assert that we are in the new solver in the line above
matthiaskrgr · Apr 15, 2024 · 67334df · 67334df
1 parent 85b884b
commit 67334df
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/compiler/rustc_infer/src/infer/at.rs b/compiler/rustc_infer/src/infer/at.rs
@@ -282,7 +282,7 @@ impl<'a, 'tcx> Trace<'a, 'tcx> {
     {
         let Trace { at, trace } = self;
         debug_assert!(at.infcx.next_trait_solver());
-        let mut fields = at.infcx.combine_fields(trace, at.param_env, DefineOpaqueTypes::No);
+        let mut fields = at.infcx.combine_fields(trace, at.param_env, DefineOpaqueTypes::Yes);
         fields
             .equate(StructurallyRelateAliases::Yes)
             .relate(a, b)