diff options
| author | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2024-04-15 16:18:32 +0000 |
|---|---|---|
| committer | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2024-04-15 16:18:32 +0000 |
| commit | 67334df1eaceede825f81d19c557b73969528d65 (patch) | |
| tree | e973c689bd9880000e9619ce4a4da061ed8dce58 | |
| parent | 85b884b0582d91e4b2e8ba9968ce50a3f549e8af (diff) | |
| download | rust-67334df1eaceede825f81d19c557b73969528d65.tar.gz rust-67334df1eaceede825f81d19c557b73969528d65.zip | |
The new solver ignores `DefineOpaqueTypes`, so switch it to `Yes`
We assert that we are in the new solver in the line above
| -rw-r--r-- | compiler/rustc_infer/src/infer/at.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_infer/src/infer/at.rs b/compiler/rustc_infer/src/infer/at.rs index f2222eec76a..1d0afe1709c 100644 --- a/compiler/rustc_infer/src/infer/at.rs +++ b/compiler/rustc_infer/src/infer/at.rs @@ -282,7 +282,7 @@ impl<'a, 'tcx> Trace<'a, 'tcx> { { let Trace { at, trace } = self; debug_assert!(at.infcx.next_trait_solver()); - let mut fields = at.infcx.combine_fields(trace, at.param_env, DefineOpaqueTypes::No); + let mut fields = at.infcx.combine_fields(trace, at.param_env, DefineOpaqueTypes::Yes); fields .equate(StructurallyRelateAliases::Yes) .relate(a, b) |