diff options
-rw-r--r-- | crates/hir_ty/src/diagnostics/match_check/deconstruct_pat.rs | 1 | ||||
-rw-r--r-- | crates/ide/src/diagnostics.rs | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/crates/hir_ty/src/diagnostics/match_check/deconstruct_pat.rs b/crates/hir_ty/src/diagnostics/match_check/deconstruct_pat.rs index 088d2791e..471cd4921 100644 --- a/crates/hir_ty/src/diagnostics/match_check/deconstruct_pat.rs +++ b/crates/hir_ty/src/diagnostics/match_check/deconstruct_pat.rs | |||
@@ -664,6 +664,7 @@ impl Fields { | |||
664 | let is_non_exhaustive = | 664 | let is_non_exhaustive = |
665 | is_field_list_non_exhaustive(variant_id, cx) && !adt_is_local; | 665 | is_field_list_non_exhaustive(variant_id, cx) && !adt_is_local; |
666 | 666 | ||
667 | cov_mark::hit!(match_check_wildcard_expanded_to_substitutions); | ||
667 | let field_ty_data = cx.db.field_types(variant_id); | 668 | let field_ty_data = cx.db.field_types(variant_id); |
668 | let field_tys = || { | 669 | let field_tys = || { |
669 | field_ty_data | 670 | field_ty_data |
diff --git a/crates/ide/src/diagnostics.rs b/crates/ide/src/diagnostics.rs index 31d5cfedc..337a904b6 100644 --- a/crates/ide/src/diagnostics.rs +++ b/crates/ide/src/diagnostics.rs | |||
@@ -2172,6 +2172,7 @@ fn main() { | |||
2172 | 2172 | ||
2173 | #[test] | 2173 | #[test] |
2174 | fn pattern_type_is_of_substitution() { | 2174 | fn pattern_type_is_of_substitution() { |
2175 | cov_mark::check!(match_check_wildcard_expanded_to_substitutions); | ||
2175 | check_diagnostics( | 2176 | check_diagnostics( |
2176 | r#" | 2177 | r#" |
2177 | struct Foo<T>(T); | 2178 | struct Foo<T>(T); |