1
Fork 0

Error on #[rustc_deprecated]

This commit is contained in:
Jacob Pratt 2022-04-07 23:44:55 -04:00
parent 4fbe73e0b7
commit e46f8b23dd
No known key found for this signature in database
GPG key ID: B80E19E4662B5AA4
11 changed files with 85 additions and 34 deletions

View file

@ -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,