Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'crates/hir-ty/src/mir.rs')
| -rw-r--r-- | crates/hir-ty/src/mir.rs | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/crates/hir-ty/src/mir.rs b/crates/hir-ty/src/mir.rs index 05f3f00103..5f61b1defb 100644 --- a/crates/hir-ty/src/mir.rs +++ b/crates/hir-ty/src/mir.rs @@ -197,9 +197,10 @@ impl<V: PartialEq> ProjectionElem<V> { } }, ProjectionElem::Field(Either::Left(f)) => match base.kind() { - TyKind::Adt(_, subst) => { - db.field_types(f.parent)[f.local_id].get().instantiate(interner, subst) - } + TyKind::Adt(_, subst) => db.field_types(f.parent)[f.local_id] + .get() + .instantiate(interner, subst) + .skip_norm_wip(), ty => { never!("Only adt has field, found {:?}", ty); Ty::new_error(interner, ErrorGuaranteed) |