Define hidden types in confirmation

2024-01-10 16:03:05 +00:00 · 2024-01-10 16:03:05 +00:00 · 08fc5e8acd
commit 08fc5e8acd
parent e927184629
2 changed files with 27 additions and 1 deletions
--- a/compiler/rustc_trait_selection/src/traits/project.rs
+++ b/compiler/rustc_trait_selection/src/traits/project.rs
@ -2466,7 +2466,7 @@ fn confirm_param_env_candidate<'cx, 'tcx>(
    debug!(?cache_projection, ?obligation_projection);

    match infcx.at(cause, param_env).eq(
-        DefineOpaqueTypes::No,
+        DefineOpaqueTypes::Yes,
        cache_projection,
        obligation_projection,
    ) {