diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2024-04-16 17:54:43 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-04-16 17:54:43 +0200 |
| commit | cad7d94e0f56e2e272742227363e4e12e0135d46 (patch) | |
| tree | 831693f3db6acf9882ca94e6538be76fb5cfed79 /compiler/rustc_infer/src | |
| parent | 0aa7235423d6acc858690bece7ea1d3ecf140bd1 (diff) | |
| parent | 67334df1eaceede825f81d19c557b73969528d65 (diff) | |
| download | rust-cad7d94e0f56e2e272742227363e4e12e0135d46.tar.gz rust-cad7d94e0f56e2e272742227363e4e12e0135d46.zip | |
Rollup merge of #123969 - oli-obk:define_opaque_types6, r=compiler-errors
The new solver ignores `DefineOpaqueTypes`, so switch it to `Yes` We assert that we are in the new solver in the line above r? ``@compiler-errors``
Diffstat (limited to 'compiler/rustc_infer/src')
| -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 f14bbe74890..0f21d3966c4 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) |