diff options
| author | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2024-04-22 13:11:29 +0000 |
|---|---|---|
| committer | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2024-04-22 13:11:29 +0000 |
| commit | 6bff7f45f1d32d1494cf8ebe48956ca4e5baf315 (patch) | |
| tree | 0f48f41bc29b1ff1b988321d0791d87c4e7587fd /compiler/rustc_trait_selection/src/traits/auto_trait.rs | |
| parent | 07d0d7ce3fd22e4fadd61206034af6fadcdb3e4f (diff) | |
| download | rust-6bff7f45f1d32d1494cf8ebe48956ca4e5baf315.tar.gz rust-6bff7f45f1d32d1494cf8ebe48956ca4e5baf315.zip | |
Use `DefiningOpaqueTypes::Yes`, as the `InferCtxt` we use has no opaque types it may define
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 73e94da165f..eb6118ba13d 100644 --- 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, |