Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'crates/hir-ty/src/diagnostics/expr.rs')
| -rw-r--r-- | crates/hir-ty/src/diagnostics/expr.rs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/crates/hir-ty/src/diagnostics/expr.rs b/crates/hir-ty/src/diagnostics/expr.rs index 69205f8fdd..67cfbc294d 100644 --- a/crates/hir-ty/src/diagnostics/expr.rs +++ b/crates/hir-ty/src/diagnostics/expr.rs @@ -182,7 +182,7 @@ impl ExprValidator { db: &dyn HirDatabase, ) { let scrut_ty = &self.infer[scrutinee_expr]; - if scrut_ty.is_unknown() { + if scrut_ty.contains_unknown() { return; } @@ -267,6 +267,9 @@ impl ExprValidator { }; let Some(initializer) = initializer else { continue }; let ty = &self.infer[initializer]; + if ty.contains_unknown() { + continue; + } let mut have_errors = false; let deconstructed_pat = self.lower_pattern(&cx, pat, db, &mut have_errors); |