Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'crates/hir-ty/src/infer/opaques.rs')
| -rw-r--r-- | crates/hir-ty/src/infer/opaques.rs | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/crates/hir-ty/src/infer/opaques.rs b/crates/hir-ty/src/infer/opaques.rs index 178b3fcbf5..63149deb82 100644 --- a/crates/hir-ty/src/infer/opaques.rs +++ b/crates/hir-ty/src/infer/opaques.rs @@ -75,7 +75,7 @@ impl<'db> InferenceContext<'_, 'db> { let interner = self.interner(); let TypingMode::Analysis { defining_opaque_types_and_generators } = - self.table.infer_ctxt.typing_mode() + self.table.infer_ctxt.typing_mode_raw() else { unreachable!(); }; @@ -108,8 +108,9 @@ impl<'db> InferenceContext<'_, 'db> { continue; } - let expected = - EarlyBinder::bind(ty.ty).instantiate(interner, opaque_type_key.args); + let expected = EarlyBinder::bind(ty.ty) + .instantiate(interner, opaque_type_key.args) + .skip_norm_wip(); _ = self.demand_eqtype_fixme_no_diag(expected, hidden_type.ty); } |