Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'crates/ide_diagnostics/src/handlers/missing_match_arms.rs')
| -rw-r--r-- | crates/ide_diagnostics/src/handlers/missing_match_arms.rs | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/crates/ide_diagnostics/src/handlers/missing_match_arms.rs b/crates/ide_diagnostics/src/handlers/missing_match_arms.rs index 3fb84c9f3c..3eb4cf60a9 100644 --- a/crates/ide_diagnostics/src/handlers/missing_match_arms.rs +++ b/crates/ide_diagnostics/src/handlers/missing_match_arms.rs @@ -931,6 +931,22 @@ fn f(ty: Enum) { ); } + #[test] + fn unexpected_ty_fndef() { + cov_mark::check!(validate_match_bailed_out); + check_diagnostics( + r" +enum Exp { + Tuple(()), +} +fn f() { + match __unknown { + Exp::Tuple => {} + } +}", + ); + } + mod false_negatives { //! The implementation of match checking here is a work in progress. As we roll this out, we //! prefer false negatives to false positives (ideally there would be no false positives). This |