diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2023-09-14 19:12:32 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-09-14 19:12:32 +0200 |
| commit | 3dbcc28884c4def54c9b9bc42bf932f75a6f315f (patch) | |
| tree | c703522ff93fa04aef2228321d81623b4706fc44 | |
| parent | 4f90a52ae62ebb37cba9c02c20edf9e64ab32d91 (diff) | |
| parent | c397ca0677e31297f2be8a0391f3c7389618d05b (diff) | |
| download | rust-3dbcc28884c4def54c9b9bc42bf932f75a6f315f.tar.gz rust-3dbcc28884c4def54c9b9bc42bf932f75a6f315f.zip | |
Rollup merge of #115832 - Zalathar:fix-no-coverage, r=oli-obk
Fix the error message for `#![feature(no_coverage)]` When #114656 was written, the feature flag to replace `no_coverage` was originally spelled `coverage`, but it was eventually changed to `coverage_attribute` instead. That update happened to miss this error message in `removed.rs`, and unfortunately I only noticed just *after* the original PR was approved and merged. cc ``@bossmc`` (original author) ``@oli-obk`` (original reviewer) ``@rustbot`` label +A-code-coverage
| -rw-r--r-- | compiler/rustc_feature/src/removed.rs | 4 | ||||
| -rw-r--r-- | tests/ui/feature-gates/feature-gate-coverage-attribute.stderr | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/compiler/rustc_feature/src/removed.rs b/compiler/rustc_feature/src/removed.rs index c70e8e3e6b1..da18cb2a239 100644 --- a/compiler/rustc_feature/src/removed.rs +++ b/compiler/rustc_feature/src/removed.rs @@ -137,8 +137,8 @@ declare_features! ( /// Allows use of unary negate on unsigned integers, e.g., -e for e: u8 (removed, negate_unsigned, "1.0.0", Some(29645), None, None), /// Allows `#[no_coverage]` on functions. - /// The feature was renamed to `coverage` and the attribute to `#[coverage(on|off)]` - (removed, no_coverage, "CURRENT_RUSTC_VERSION", Some(84605), None, Some("renamed to `coverage`")), + /// The feature was renamed to `coverage_attribute` and the attribute to `#[coverage(on|off)]` + (removed, no_coverage, "CURRENT_RUSTC_VERSION", Some(84605), None, Some("renamed to `coverage_attribute`")), /// Allows `#[no_debug]`. (removed, no_debug, "1.43.0", Some(29721), None, Some("removed due to lack of demand")), /// Allows using `#[on_unimplemented(..)]` on traits. diff --git a/tests/ui/feature-gates/feature-gate-coverage-attribute.stderr b/tests/ui/feature-gates/feature-gate-coverage-attribute.stderr index 3912b9834fe..0131a19a39d 100644 --- a/tests/ui/feature-gates/feature-gate-coverage-attribute.stderr +++ b/tests/ui/feature-gates/feature-gate-coverage-attribute.stderr @@ -4,7 +4,7 @@ error[E0557]: feature has been removed LL | #![feature(no_coverage)] | ^^^^^^^^^^^ feature has been removed | - = note: renamed to `coverage` + = note: renamed to `coverage_attribute` error[E0658]: the `#[coverage]` attribute is an experimental feature --> $DIR/feature-gate-coverage-attribute.rs:10:1 |