Auto merge of #17534 - Veykril:skip-unknown-match-check, r=Veykril

fix: Skip match exhaustiveness checking if pattern type contains errors

Should fix #17509, checking when errors are involved is generally a bad idea as the algorithm doesn't really expect error types in the first place I believe

Author: bors

crates/hir-ty/src/diagnostics/expr.rs

@@ -196,6 +196,9 @@ impl ExprValidator {
             let Some(pat_ty) = self.infer.type_of_pat.get(arm.pat) else {
                 return;
             };
+            if pat_ty.contains_unknown() {
+                return;
+            }
 
             // We only include patterns whose type matches the type
             // of the scrutinee expression. If we had an InvalidMatchArmPattern