Mirrors/rust-analyzer
2
0
Fork 0
mirror of https://github.com/rust-lang/rust-analyzer synced 2024-12-31 23:38:45 +00:00
Code Issues Projects Releases Packages Wiki Activity

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

Browse source 
fix: Skip match exhaustiveness checking if pattern type contains errors

Should fix https://github.com/rust-lang/rust-analyzer/issues/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
This commit is contained in:
bors 2024-07-03 06:34:39 +00:00
commit 848e0c4040
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
crates/hir-ty/src/diagnostics/expr.rs
View file

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