From c0db80c14907271c7e932881818adbeaf927e003 Mon Sep 17 00:00:00 2001 From: xd009642 Date: Mon, 29 Jul 2024 16:03:07 +0100 Subject: [PATCH] Add a comment about no_coverage --- src/source_analysis/attributes.rs | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/source_analysis/attributes.rs b/src/source_analysis/attributes.rs index 4bce9f836..127c20d61 100644 --- a/src/source_analysis/attributes.rs +++ b/src/source_analysis/attributes.rs @@ -44,6 +44,8 @@ pub(crate) fn check_cfg_attr(attr: &Meta) -> bool { let mut ignore_span = false; let id = attr.path(); + // no coverage is now deprecated in the compiler, so in future we can remove this just to + // minimise some of this code if id.is_ident("no_coverage") { ignore_span = true; } else if id.is_ident("coverage") {