diff options
| author | Jacob Pratt <jacob@jhpratt.dev> | 2022-04-07 23:44:55 -0400 |
|---|---|---|
| committer | Jacob Pratt <jacob@jhpratt.dev> | 2022-04-14 21:19:44 -0400 |
| commit | e46f8b23dd2c4ddf3b68feaddad2c4b0b6e1c186 (patch) | |
| tree | cc6e307197c71885776f0350e72443b982707d0d /compiler/rustc_lint_defs/src | |
| parent | 4fbe73e0b79afb9e2b352438bac743104f0d2ba6 (diff) | |
| download | rust-e46f8b23dd2c4ddf3b68feaddad2c4b0b6e1c186.tar.gz rust-e46f8b23dd2c4ddf3b68feaddad2c4b0b6e1c186.zip | |
Error on `#[rustc_deprecated]`
Diffstat (limited to 'compiler/rustc_lint_defs/src')
| -rw-r--r-- | compiler/rustc_lint_defs/src/builtin.rs | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/compiler/rustc_lint_defs/src/builtin.rs b/compiler/rustc_lint_defs/src/builtin.rs index 89ce307d12c..ae8fd026dbc 100644 --- a/compiler/rustc_lint_defs/src/builtin.rs +++ b/compiler/rustc_lint_defs/src/builtin.rs @@ -2201,11 +2201,10 @@ declare_lint! { /// used by user code. /// /// This lint is only enabled in the standard library. It works with the - /// use of `#[rustc_deprecated]` with a `since` field of a version in the - /// future. This allows something to be marked as deprecated in a future - /// version, and then this lint will ensure that the item is no longer - /// used in the standard library. See the [stability documentation] for - /// more details. + /// use of `#[deprecated]` with a `since` field of a version in the future. + /// This allows something to be marked as deprecated in a future version, + /// and then this lint will ensure that the item is no longer used in the + /// standard library. See the [stability documentation] for more details. /// /// [stability documentation]: https://rustc-dev-guide.rust-lang.org/stability.html#rustc_deprecated pub DEPRECATED_IN_FUTURE, |