aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--crates/hir_ty/src/diagnostics/match_check/deconstruct_pat.rs1
-rw-r--r--crates/ide/src/diagnostics.rs1
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#"
2177struct Foo<T>(T); 2178struct Foo<T>(T);