From 0eafc88079fb5ddb1931e59860a4e064743e113a Mon Sep 17 00:00:00 2001 From: Aleksey Kladov Date: Sun, 13 Jun 2021 11:49:32 +0300 Subject: minor: put a mark back --- crates/hir_ty/src/diagnostics/match_check/deconstruct_pat.rs | 1 + crates/ide/src/diagnostics.rs | 1 + 2 files changed, 2 insertions(+) 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 { let is_non_exhaustive = is_field_list_non_exhaustive(variant_id, cx) && !adt_is_local; + cov_mark::hit!(match_check_wildcard_expanded_to_substitutions); let field_ty_data = cx.db.field_types(variant_id); let field_tys = || { 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() { #[test] fn pattern_type_is_of_substitution() { + cov_mark::check!(match_check_wildcard_expanded_to_substitutions); check_diagnostics( r#" struct Foo(T); -- cgit v1.2.3