diff options
| author | bors <bors@rust-lang.org> | 2023-09-18 09:05:50 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-09-18 09:05:50 +0000 |
| commit | 258b15c506a2d3ad862fd17ae24eaf272443f477 (patch) | |
| tree | bc9417a468d70c37362d9357b66178f99b51c100 | |
| parent | 05666441bafd6010787a4097a6bd44266ad21018 (diff) | |
| parent | d39b45a58d55c29e10a37c68c06a270c95e45831 (diff) | |
Auto merge of #15628 - lnicola:sync-from-rust, r=lnicola
minor: Sync from downstream
| -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 565e48ccd33..152f05b2c3b 100644 --- a/crates/hir-def/src/attr/builtin.rs +++ b/crates/hir-def/src/attr/builtin.rs @@ -240,7 +240,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() { // ... } |