diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2024-04-23 06:24:56 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-04-23 06:24:56 +0200 |
| commit | 326cd5cb68a3c2a98a9d8c1c2de74697275afaf0 (patch) | |
| tree | 9eb0a79adc33b83ba1c7519620798bc066d16464 /compiler/rustc_trait_selection/src/traits/auto_trait.rs | |
| parent | 8859631b40f8646857797d13bd9deac595d08a14 (diff) | |
| parent | 6bff7f45f1d32d1494cf8ebe48956ca4e5baf315 (diff) | |
| download | rust-326cd5cb68a3c2a98a9d8c1c2de74697275afaf0.tar.gz rust-326cd5cb68a3c2a98a9d8c1c2de74697275afaf0.zip | |
Rollup merge of #124168 - oli-obk:define_opaque_types12, r=lcnr
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()`
Diffstat (limited to 'compiler/rustc_trait_selection/src/traits/auto_trait.rs')
| -rw-r--r-- | compiler/rustc_trait_selection/src/traits/auto_trait.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_trait_selection/src/traits/auto_trait.rs b/compiler/rustc_trait_selection/src/traits/auto_trait.rs index f9e7ed9dcbb..053de2c673b 100644 --- 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, |