Rollup merge of #119816 - oli-obk:tait_ice_unify_obligations, r=lcnr

Define hidden types in confirmation fixes #111470 r? `@lcnr` or `@compiler-errors` explanation in the newly added test
2024-01-16 17:55:22 +01:00
parent 304a17a475 0ae00444dc
commit d4b276caa4
2 changed files with 29 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,
    ) {