Use DefiningOpaqueTypes::Yes, as the InferCtxt we use has no opaque types it may define

oli-obk · oli-obk · commit 6bff7f45f1d3 · 2024-04-22T13:11:29.000Z
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,

Original file line number	Diff line number	Diff line change
`@@ -789,7 +789,7 @@ impl<'tcx> AutoTraitFinder<'tcx> {`
`789`	`789`
`790`	`790`	`match (evaluate(c1), evaluate(c2)) {`
`791`	`791`	`(Ok(c1), Ok(c2)) => {`
`792`		`- match selcx.infcx.at(&obligation.cause, obligation.param_env).eq(DefineOpaqueTypes::No,c1, c2)`
	`792`	`+ match selcx.infcx.at(&obligation.cause, obligation.param_env).eq(DefineOpaqueTypes::Yes,c1, c2)`
`793`	`793`	`{`
`794`	`794`	`Ok(_) => (),`
`795`	`795`	`Err(_) => return false,`