Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'crates/hir-ty/src/inhabitedness.rs')
| -rw-r--r-- | crates/hir-ty/src/inhabitedness.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/crates/hir-ty/src/inhabitedness.rs b/crates/hir-ty/src/inhabitedness.rs index 41470c54e5..0070d14f37 100644 --- a/crates/hir-ty/src/inhabitedness.rs +++ b/crates/hir-ty/src/inhabitedness.rs @@ -169,7 +169,7 @@ impl<'a, 'db> UninhabitedFrom<'a, 'db> { subst: GenericArgs<'db>, ) -> ControlFlow<VisiblyUninhabited> { if vis.is_none_or(|it| it.is_visible_from(self.db(), self.target_mod)) { - let ty = ty.instantiate(self.interner(), subst); + let ty = ty.instantiate(self.interner(), subst).skip_norm_wip(); ty.visit_with(self) } else { CONTINUE_OPAQUELY_INHABITED |