Rollup merge of rust-lang#124168 - oli-obk:define_opaque_types12, r=lcnr

matthiaskrgr · web-flow · commit 326cd5cb68a3 · 2024-04-23T06:24:56.000+02:00
Use `DefiningOpaqueTypes::Yes` in rustdoc, where the `InferCtxt` is guaranteed to have no opaque types it can define

r? `@lcnr`

I manually checked there it's always `tcx.infer_ctxt().build()`
diff --git a/compiler/rustc_trait_selection/src/traits/auto_trait.rs b/compiler/rustc_trait_selection/src/traits/auto_trait.rs
@@ -784,7 +784,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
`@@ -784,7 +784,7 @@ impl<'tcx> AutoTraitFinder<'tcx> {`
`784`	`784`
`785`	`785`	`match (evaluate(c1), evaluate(c2)) {`
`786`	`786`	`(Ok(c1), Ok(c2)) => {`
`787`		`- match selcx.infcx.at(&obligation.cause, obligation.param_env).eq(DefineOpaqueTypes::No,c1, c2)`
	`787`	`+ match selcx.infcx.at(&obligation.cause, obligation.param_env).eq(DefineOpaqueTypes::Yes,c1, c2)`
`788`	`788`	`{`
`789`	`789`	`Ok(_) => (),`
`790`	`790`	`Err(_) => return false,`