diff options
| author | Zalathar <Zalathar@users.noreply.github.com> | 2023-09-14 13:01:54 +1000 |
|---|---|---|
| committer | Zalathar <Zalathar@users.noreply.github.com> | 2023-09-14 13:01:54 +1000 |
| commit | c397ca0677e31297f2be8a0391f3c7389618d05b (patch) | |
| tree | 2bfc41be937a65b21ad4936fab31eb311eb49c8c /tests | |
| parent | c728bf3963433062b91bd84ffcb37d15416b800e (diff) | |
| download | rust-c397ca0677e31297f2be8a0391f3c7389618d05b.tar.gz rust-c397ca0677e31297f2be8a0391f3c7389618d05b.zip | |
Fix the error message for `#![feature(no_coverage)]`
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/ui/feature-gates/feature-gate-coverage-attribute.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
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 |