Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'crates/hir-ty/src/lower.rs')
| -rw-r--r-- | crates/hir-ty/src/lower.rs | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/crates/hir-ty/src/lower.rs b/crates/hir-ty/src/lower.rs index 64f3cbe06a..8beaa481b5 100644 --- a/crates/hir-ty/src/lower.rs +++ b/crates/hir-ty/src/lower.rs @@ -542,7 +542,6 @@ impl<'db, 'a> TyLoweringContext<'db, 'a> { &TypeRef::PatternType(ty, pat) => { let ty = self.lower_ty(ty); let Some(pat) = self.lower_pattern_type(pat, ty) else { - // FIXME: Report an error. return (self.types.types.error, res); }; Ty::new_pat(self.interner, ty, pat) @@ -568,7 +567,11 @@ impl<'db, 'a> TyLoweringContext<'db, 'a> { ) .ok()?, ), - _ => return None, + hir_def::hir::Pat::Missing => return None, + _ => { + never!("pattern type can only be Range, NotNull or Or"); + return None; + } }; Some(Pattern::new(self.interner, pat_kind)) } |