Use DefiningOpaqueTypes::Yes, as the InferCtxt we use has no opaq…

…ue types it may define
rust-lang-ci · Apr 22, 2024 · 6bff7f4 · 6bff7f4
1 parent 07d0d7c
commit 6bff7f4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/compiler/rustc_trait_selection/src/traits/auto_trait.rs b/compiler/rustc_trait_selection/src/traits/auto_trait.rs
@@ -789,7 +789,7 @@ impl<'tcx> AutoTraitFinder<'tcx> {
 
                     match (evaluate(c1), evaluate(c2)) {
                         (Ok(c1), Ok(c2)) => {
-                            match selcx.infcx.at(&obligation.cause, obligation.param_env).eq(DefineOpaqueTypes::No,c1, c2)
+                            match selcx.infcx.at(&obligation.cause, obligation.param_env).eq(DefineOpaqueTypes::Yes,c1, c2)
                             {
                                 Ok(_) => (),
                                 Err(_) => return false,