diff options
| author | Andy Caldwell <andycaldwell@microsoft.com> | 2023-08-09 15:57:16 +0100 |
|---|---|---|
| committer | Andy Caldwell <andycaldwell@microsoft.com> | 2023-09-08 12:46:06 +0100 |
| commit | 7e786ea4cf8dc82f04d6d90f62b6bd83e71bfdc4 (patch) | |
| tree | c24afe8332d33cd6ce7a61ec69c5a96c7da0c128 | |
| parent | ce0eeee400ba6aafe5c1f5802473afcd490ce0e0 (diff) | |
| download | rust-7e786ea4cf8dc82f04d6d90f62b6bd83e71bfdc4.tar.gz rust-7e786ea4cf8dc82f04d6d90f62b6bd83e71bfdc4.zip | |
Rework no_coverage to coverage(off)
| -rw-r--r-- | crates/hir-def/src/attr/builtin.rs | 2 | ||||
| -rw-r--r-- | crates/ide-db/src/generated/lints.rs | 10 |
2 files changed, 6 insertions, 6 deletions
diff --git a/crates/hir-def/src/attr/builtin.rs b/crates/hir-def/src/attr/builtin.rs index cead64a3374..9bd0c30b105 100644 --- a/crates/hir-def/src/attr/builtin.rs +++ b/crates/hir-def/src/attr/builtin.rs @@ -239,7 +239,7 @@ pub const INERT_ATTRIBUTES: &[BuiltinAttribute] = &[ template!(List: "address, kcfi, memory, thread"), DuplicatesOk, experimental!(no_sanitize) ), - gated!(no_coverage, Normal, template!(Word), WarnFollowing, experimental!(no_coverage)), + gated!(coverage, Normal, template!(Word, List: "on|off"), WarnFollowing, experimental!(coverage)), ungated!( doc, Normal, template!(List: "hidden|inline|...", NameValueStr: "string"), DuplicatesOk diff --git a/crates/ide-db/src/generated/lints.rs b/crates/ide-db/src/generated/lints.rs index 49b37024a5e..57563a17483 100644 --- a/crates/ide-db/src/generated/lints.rs +++ b/crates/ide-db/src/generated/lints.rs @@ -3505,8 +3505,8 @@ This serves two purposes: "##, }, Lint { - label: "no_coverage", - description: r##"# `no_coverage` + label: "coverage", + description: r##"# `coverage` The tracking issue for this feature is: [#84605] @@ -3514,7 +3514,7 @@ The tracking issue for this feature is: [#84605] --- -The `no_coverage` attribute can be used to selectively disable coverage +The `coverage` attribute can be used to selectively disable coverage instrumentation in an annotated function. This might be useful to: - Avoid instrumentation overhead in a performance critical function @@ -3524,14 +3524,14 @@ instrumentation in an annotated function. This might be useful to: ## Example ```rust -#![feature(no_coverage)] +#![feature(coverage)] // `foo()` will get coverage instrumentation (by default) fn foo() { // ... } -#[no_coverage] +#[coverage(off)] fn bar() { // ... } |