Skip to main content

rustc_lint_defs/
lib.rs

1use std::borrow::Cow;
2use std::fmt::Display;
3
4use rustc_ast::attr::version::RustcVersion;
5use rustc_data_structures::fx::FxIndexSet;
6use rustc_data_structures::stable_hash::{StableCompare, StableHash, StableHashCtxt, StableHasher};
7use rustc_error_messages::{DiagArgValue, IntoDiagArg};
8use rustc_hir_id::HirId;
9use rustc_macros::{Decodable, Encodable, StableHash};
10pub use rustc_span::edition::Edition;
11use rustc_span::{AttrId, Ident, Symbol, sym};
12use serde::{Deserialize, Serialize};
13
14pub use self::Level::*;
15
16pub mod builtin;
17
18#[macro_export]
19macro_rules! pluralize {
20    // Pluralize based on count (e.g., apples)
21    ($x:expr) => {
22        if $x == 1 { "" } else { "s" }
23    };
24    ("has", $x:expr) => {
25        if $x == 1 { "has" } else { "have" }
26    };
27    ("is", $x:expr) => {
28        if $x == 1 { "is" } else { "are" }
29    };
30    ("was", $x:expr) => {
31        if $x == 1 { "was" } else { "were" }
32    };
33    ("this", $x:expr) => {
34        if $x == 1 { "this" } else { "these" }
35    };
36}
37
38/// Grammatical tool for displaying messages to end users in a nice form.
39///
40/// Take a list of items and a function to turn those items into a `String`, and output a display
41/// friendly comma separated list of those items.
42// FIXME(estebank): this needs to be changed to go through the translation machinery.
43pub fn listify<T>(list: &[T], fmt: impl Fn(&T) -> String) -> Option<String> {
44    Some(match list {
45        [only] => fmt(&only),
46        [others @ .., last] => ::alloc::__export::must_use({
        ::alloc::fmt::format(format_args!("{0} and {1}",
                others.iter().map(|i| fmt(i)).collect::<Vec<_>>().join(", "),
                fmt(&last)))
    })format!(
47            "{} and {}",
48            others.iter().map(|i| fmt(i)).collect::<Vec<_>>().join(", "),
49            fmt(&last),
50        ),
51        [] => return None,
52    })
53}
54
55/// Indicates the confidence in the correctness of a suggestion.
56///
57/// All suggestions are marked with an `Applicability`. Tools use the applicability of a suggestion
58/// to determine whether it should be automatically applied or if the user should be consulted
59/// before applying the suggestion.
60#[derive(#[automatically_derived]
impl ::core::marker::Copy for Applicability { }Copy, #[automatically_derived]
impl ::core::clone::Clone for Applicability {
    #[inline]
    fn clone(&self) -> Applicability { *self }
}Clone, #[automatically_derived]
impl ::core::fmt::Debug for Applicability {
    #[inline]
    fn fmt(&self, f: &mut ::core::fmt::Formatter) -> ::core::fmt::Result {
        ::core::fmt::Formatter::write_str(f,
            match self {
                Applicability::MachineApplicable => "MachineApplicable",
                Applicability::MaybeIncorrect => "MaybeIncorrect",
                Applicability::HasPlaceholders => "HasPlaceholders",
                Applicability::Unspecified => "Unspecified",
            })
    }
}Debug, #[automatically_derived]
impl ::core::hash::Hash for Applicability {
    #[inline]
    fn hash<__H: ::core::hash::Hasher>(&self, state: &mut __H) {
        let __self_discr = ::core::intrinsics::discriminant_value(self);
        ::core::hash::Hash::hash(&__self_discr, state)
    }
}Hash, const _: () =
    {
        impl<__E: ::rustc_span::SpanEncoder> ::rustc_serialize::Encodable<__E>
            for Applicability {
            fn encode(&self, __encoder: &mut __E) {
                let disc =
                    match *self {
                        Applicability::MachineApplicable => { 0usize }
                        Applicability::MaybeIncorrect => { 1usize }
                        Applicability::HasPlaceholders => { 2usize }
                        Applicability::Unspecified => { 3usize }
                    };
                ::rustc_serialize::Encoder::emit_u8(__encoder, disc as u8);
                match *self {
                    Applicability::MachineApplicable => {}
                    Applicability::MaybeIncorrect => {}
                    Applicability::HasPlaceholders => {}
                    Applicability::Unspecified => {}
                }
            }
        }
    };Encodable, const _: () =
    {
        impl<__D: ::rustc_span::SpanDecoder> ::rustc_serialize::Decodable<__D>
            for Applicability {
            fn decode(__decoder: &mut __D) -> Self {
                match ::rustc_serialize::Decoder::read_u8(__decoder) as usize
                    {
                    0usize => { Applicability::MachineApplicable }
                    1usize => { Applicability::MaybeIncorrect }
                    2usize => { Applicability::HasPlaceholders }
                    3usize => { Applicability::Unspecified }
                    n => {
                        ::core::panicking::panic_fmt(format_args!("invalid enum variant tag while decoding `Applicability`, expected 0..4, actual {0}",
                                n));
                    }
                }
            }
        }
    };Decodable, #[doc(hidden)]
#[allow(non_upper_case_globals, unused_attributes, unused_qualifications,
clippy :: absolute_paths,)]
const _: () =
    {
        #[allow(unused_extern_crates, clippy :: useless_attribute)]
        extern crate serde as _serde;
        ;
        #[automatically_derived]
        impl _serde::Serialize for Applicability {
            fn serialize<__S>(&self, __serializer: __S)
                -> _serde::__private228::Result<__S::Ok, __S::Error> where
                __S: _serde::Serializer {
                match *self {
                    Applicability::MachineApplicable =>
                        _serde::Serializer::serialize_unit_variant(__serializer,
                            "Applicability", 0u32, "MachineApplicable"),
                    Applicability::MaybeIncorrect =>
                        _serde::Serializer::serialize_unit_variant(__serializer,
                            "Applicability", 1u32, "MaybeIncorrect"),
                    Applicability::HasPlaceholders =>
                        _serde::Serializer::serialize_unit_variant(__serializer,
                            "Applicability", 2u32, "HasPlaceholders"),
                    Applicability::Unspecified =>
                        _serde::Serializer::serialize_unit_variant(__serializer,
                            "Applicability", 3u32, "Unspecified"),
                }
            }
        }
    };Serialize, #[doc(hidden)]
#[allow(non_upper_case_globals, unused_attributes, unused_qualifications,
clippy :: absolute_paths,)]
const _: () =
    {
        #[allow(unused_extern_crates, clippy :: useless_attribute)]
        extern crate serde as _serde;
        ;
        #[automatically_derived]
        impl<'de> _serde::Deserialize<'de> for Applicability {
            fn deserialize<__D>(__deserializer: __D)
                -> _serde::__private228::Result<Self, __D::Error> where
                __D: _serde::Deserializer<'de> {
                #[allow(non_camel_case_types)]
                #[doc(hidden)]
                enum __Field { __field0, __field1, __field2, __field3, }
                #[doc(hidden)]
                struct __FieldVisitor;
                #[automatically_derived]
                impl<'de> _serde::de::Visitor<'de> for __FieldVisitor {
                    type Value = __Field;
                    fn expecting(&self,
                        __formatter: &mut _serde::__private228::Formatter)
                        -> _serde::__private228::fmt::Result {
                        _serde::__private228::Formatter::write_str(__formatter,
                            "variant identifier")
                    }
                    fn visit_u64<__E>(self, __value: u64)
                        -> _serde::__private228::Result<Self::Value, __E> where
                        __E: _serde::de::Error {
                        match __value {
                            0u64 => _serde::__private228::Ok(__Field::__field0),
                            1u64 => _serde::__private228::Ok(__Field::__field1),
                            2u64 => _serde::__private228::Ok(__Field::__field2),
                            3u64 => _serde::__private228::Ok(__Field::__field3),
                            _ =>
                                _serde::__private228::Err(_serde::de::Error::invalid_value(_serde::de::Unexpected::Unsigned(__value),
                                        &"variant index 0 <= i < 4")),
                        }
                    }
                    fn visit_str<__E>(self, __value: &str)
                        -> _serde::__private228::Result<Self::Value, __E> where
                        __E: _serde::de::Error {
                        match __value {
                            "MachineApplicable" =>
                                _serde::__private228::Ok(__Field::__field0),
                            "MaybeIncorrect" =>
                                _serde::__private228::Ok(__Field::__field1),
                            "HasPlaceholders" =>
                                _serde::__private228::Ok(__Field::__field2),
                            "Unspecified" =>
                                _serde::__private228::Ok(__Field::__field3),
                            _ => {
                                _serde::__private228::Err(_serde::de::Error::unknown_variant(__value,
                                        VARIANTS))
                            }
                        }
                    }
                    fn visit_bytes<__E>(self, __value: &[u8])
                        -> _serde::__private228::Result<Self::Value, __E> where
                        __E: _serde::de::Error {
                        match __value {
                            b"MachineApplicable" =>
                                _serde::__private228::Ok(__Field::__field0),
                            b"MaybeIncorrect" =>
                                _serde::__private228::Ok(__Field::__field1),
                            b"HasPlaceholders" =>
                                _serde::__private228::Ok(__Field::__field2),
                            b"Unspecified" =>
                                _serde::__private228::Ok(__Field::__field3),
                            _ => {
                                let __value =
                                    &_serde::__private228::from_utf8_lossy(__value);
                                _serde::__private228::Err(_serde::de::Error::unknown_variant(__value,
                                        VARIANTS))
                            }
                        }
                    }
                }
                #[automatically_derived]
                impl<'de> _serde::Deserialize<'de> for __Field {
                    #[inline]
                    fn deserialize<__D>(__deserializer: __D)
                        -> _serde::__private228::Result<Self, __D::Error> where
                        __D: _serde::Deserializer<'de> {
                        _serde::Deserializer::deserialize_identifier(__deserializer,
                            __FieldVisitor)
                    }
                }
                #[doc(hidden)]
                struct __Visitor<'de> {
                    marker: _serde::__private228::PhantomData<Applicability>,
                    lifetime: _serde::__private228::PhantomData<&'de ()>,
                }
                #[automatically_derived]
                impl<'de> _serde::de::Visitor<'de> for __Visitor<'de> {
                    type Value = Applicability;
                    fn expecting(&self,
                        __formatter: &mut _serde::__private228::Formatter)
                        -> _serde::__private228::fmt::Result {
                        _serde::__private228::Formatter::write_str(__formatter,
                            "enum Applicability")
                    }
                    fn visit_enum<__A>(self, __data: __A)
                        -> _serde::__private228::Result<Self::Value, __A::Error>
                        where __A: _serde::de::EnumAccess<'de> {
                        match _serde::de::EnumAccess::variant(__data)? {
                            (__Field::__field0, __variant) => {
                                _serde::de::VariantAccess::unit_variant(__variant)?;
                                _serde::__private228::Ok(Applicability::MachineApplicable)
                            }
                            (__Field::__field1, __variant) => {
                                _serde::de::VariantAccess::unit_variant(__variant)?;
                                _serde::__private228::Ok(Applicability::MaybeIncorrect)
                            }
                            (__Field::__field2, __variant) => {
                                _serde::de::VariantAccess::unit_variant(__variant)?;
                                _serde::__private228::Ok(Applicability::HasPlaceholders)
                            }
                            (__Field::__field3, __variant) => {
                                _serde::de::VariantAccess::unit_variant(__variant)?;
                                _serde::__private228::Ok(Applicability::Unspecified)
                            }
                        }
                    }
                }
                #[doc(hidden)]
                const VARIANTS: &'static [&'static str] =
                    &["MachineApplicable", "MaybeIncorrect", "HasPlaceholders",
                                "Unspecified"];
                _serde::Deserializer::deserialize_enum(__deserializer,
                    "Applicability", VARIANTS,
                    __Visitor {
                        marker: _serde::__private228::PhantomData::<Applicability>,
                        lifetime: _serde::__private228::PhantomData,
                    })
            }
        }
    };Deserialize)]
61#[derive(#[automatically_derived]
impl ::core::cmp::PartialEq for Applicability {
    #[inline]
    fn eq(&self, other: &Applicability) -> bool {
        let __self_discr = ::core::intrinsics::discriminant_value(self);
        let __arg1_discr = ::core::intrinsics::discriminant_value(other);
        __self_discr == __arg1_discr
    }
}PartialEq, #[automatically_derived]
impl ::core::cmp::Eq for Applicability {
    #[inline]
    #[doc(hidden)]
    #[coverage(off)]
    fn assert_fields_are_eq(&self) {}
}Eq, #[automatically_derived]
impl ::core::cmp::PartialOrd for Applicability {
    #[inline]
    fn partial_cmp(&self, other: &Applicability)
        -> ::core::option::Option<::core::cmp::Ordering> {
        ::core::option::Option::Some(::core::cmp::Ord::cmp(self, other))
    }
}PartialOrd, #[automatically_derived]
impl ::core::cmp::Ord for Applicability {
    #[inline]
    fn cmp(&self, other: &Applicability) -> ::core::cmp::Ordering {
        let __self_discr = ::core::intrinsics::discriminant_value(self);
        let __arg1_discr = ::core::intrinsics::discriminant_value(other);
        ::core::cmp::Ord::cmp(&__self_discr, &__arg1_discr)
    }
}Ord)]
62pub enum Applicability {
63    /// The suggestion is definitely what the user intended, or maintains the exact meaning of the code.
64    /// This suggestion should be automatically applied.
65    ///
66    /// In case of multiple `MachineApplicable` suggestions (whether as part of
67    /// the same `multipart_suggestion` or not), all of them should be
68    /// automatically applied.
69    MachineApplicable,
70
71    /// The suggestion may be what the user intended, but it is uncertain. The suggestion should
72    /// result in valid Rust code if it is applied.
73    MaybeIncorrect,
74
75    /// The suggestion contains placeholders like `(...)` or `{ /* fields */ }`. The suggestion
76    /// cannot be applied automatically because it will not result in valid Rust code. The user
77    /// will need to fill in the placeholders.
78    HasPlaceholders,
79
80    /// The applicability of the suggestion is unknown.
81    Unspecified,
82}
83
84/// Each lint expectation has a `LintExpectationId` assigned by the `LintLevelsBuilder`.
85/// Expected diagnostics get the lint level `Expect` which stores the `LintExpectationId`
86/// to match it with the actual expectation later on.
87///
88/// The `LintExpectationId` has to be stable between compilations, as diagnostic
89/// instances might be loaded from cache. Lint messages can be emitted during an
90/// `EarlyLintPass` operating on the AST and during a `LateLintPass` traversing the
91/// HIR tree. The AST doesn't have enough information to create a stable id. The
92/// `LintExpectationId` will instead store the [`AttrId`] defining the expectation.
93/// These `LintExpectationId` will be updated to use the stable [`HirId`] once the
94/// AST has been lowered. The transformation is done by the `LintLevelsBuilder`
95///
96/// Each lint inside the `expect` attribute is tracked individually, the `lint_index`
97/// identifies the lint inside the attribute and ensures that the IDs are unique.
98///
99/// The index values have a type of `u16` to reduce the size of the `LintExpectationId`.
100/// It's reasonable to assume that no user will define 2^16 attributes on one node or
101/// have that amount of lints listed. `u16` values should therefore suffice.
102#[derive(#[automatically_derived]
impl ::core::clone::Clone for LintExpectationId {
    #[inline]
    fn clone(&self) -> LintExpectationId {
        let _: ::core::clone::AssertParamIsClone<UnstableLintExpectationId>;
        let _: ::core::clone::AssertParamIsClone<StableLintExpectationId>;
        *self
    }
}Clone, #[automatically_derived]
impl ::core::marker::Copy for LintExpectationId { }Copy, #[automatically_derived]
impl ::core::cmp::PartialEq for LintExpectationId {
    #[inline]
    fn eq(&self, other: &LintExpectationId) -> bool {
        let __self_discr = ::core::intrinsics::discriminant_value(self);
        let __arg1_discr = ::core::intrinsics::discriminant_value(other);
        __self_discr == __arg1_discr &&
            match (self, other) {
                (LintExpectationId::Unstable(__self_0),
                    LintExpectationId::Unstable(__arg1_0)) =>
                    __self_0 == __arg1_0,
                (LintExpectationId::Stable(__self_0),
                    LintExpectationId::Stable(__arg1_0)) =>
                    __self_0 == __arg1_0,
                _ => unsafe { ::core::intrinsics::unreachable() }
            }
    }
}PartialEq, #[automatically_derived]
impl ::core::cmp::Eq for LintExpectationId {
    #[inline]
    #[doc(hidden)]
    #[coverage(off)]
    fn assert_fields_are_eq(&self) {
        let _: ::core::cmp::AssertParamIsEq<UnstableLintExpectationId>;
        let _: ::core::cmp::AssertParamIsEq<StableLintExpectationId>;
    }
}Eq, #[automatically_derived]
impl ::core::fmt::Debug for LintExpectationId {
    #[inline]
    fn fmt(&self, f: &mut ::core::fmt::Formatter) -> ::core::fmt::Result {
        match self {
            LintExpectationId::Unstable(__self_0) =>
                ::core::fmt::Formatter::debug_tuple_field1_finish(f,
                    "Unstable", &__self_0),
            LintExpectationId::Stable(__self_0) =>
                ::core::fmt::Formatter::debug_tuple_field1_finish(f, "Stable",
                    &__self_0),
        }
    }
}Debug, #[automatically_derived]
impl ::core::hash::Hash for LintExpectationId {
    #[inline]
    fn hash<__H: ::core::hash::Hasher>(&self, state: &mut __H) {
        let __self_discr = ::core::intrinsics::discriminant_value(self);
        ::core::hash::Hash::hash(&__self_discr, state);
        match self {
            LintExpectationId::Unstable(__self_0) =>
                ::core::hash::Hash::hash(__self_0, state),
            LintExpectationId::Stable(__self_0) =>
                ::core::hash::Hash::hash(__self_0, state),
        }
    }
}Hash, const _: () =
    {
        impl<__E: ::rustc_span::SpanEncoder> ::rustc_serialize::Encodable<__E>
            for LintExpectationId {
            fn encode(&self, __encoder: &mut __E) {
                let disc =
                    match *self {
                        LintExpectationId::Unstable(ref __binding_0) => { 0usize }
                        LintExpectationId::Stable(ref __binding_0) => { 1usize }
                    };
                ::rustc_serialize::Encoder::emit_u8(__encoder, disc as u8);
                match *self {
                    LintExpectationId::Unstable(ref __binding_0) => {
                        ::rustc_serialize::Encodable::<__E>::encode(__binding_0,
                            __encoder);
                    }
                    LintExpectationId::Stable(ref __binding_0) => {
                        ::rustc_serialize::Encodable::<__E>::encode(__binding_0,
                            __encoder);
                    }
                }
            }
        }
    };Encodable, const _: () =
    {
        impl<__D: ::rustc_span::SpanDecoder> ::rustc_serialize::Decodable<__D>
            for LintExpectationId {
            fn decode(__decoder: &mut __D) -> Self {
                match ::rustc_serialize::Decoder::read_u8(__decoder) as usize
                    {
                    0usize => {
                        LintExpectationId::Unstable(::rustc_serialize::Decodable::decode(__decoder))
                    }
                    1usize => {
                        LintExpectationId::Stable(::rustc_serialize::Decodable::decode(__decoder))
                    }
                    n => {
                        ::core::panicking::panic_fmt(format_args!("invalid enum variant tag while decoding `LintExpectationId`, expected 0..2, actual {0}",
                                n));
                    }
                }
            }
        }
    };Decodable)]
103pub enum LintExpectationId {
104    Unstable(UnstableLintExpectationId),
105    Stable(StableLintExpectationId),
106}
107
108/// Used for lints emitted during the `EarlyLintPass`. This id is not hash
109/// stable and should not be cached.
110#[derive(#[automatically_derived]
impl ::core::clone::Clone for UnstableLintExpectationId {
    #[inline]
    fn clone(&self) -> UnstableLintExpectationId {
        let _: ::core::clone::AssertParamIsClone<AttrId>;
        let _: ::core::clone::AssertParamIsClone<u16>;
        *self
    }
}Clone, #[automatically_derived]
impl ::core::marker::Copy for UnstableLintExpectationId { }Copy, #[automatically_derived]
impl ::core::cmp::PartialEq for UnstableLintExpectationId {
    #[inline]
    fn eq(&self, other: &UnstableLintExpectationId) -> bool {
        self.lint_index == other.lint_index && self.attr_id == other.attr_id
    }
}PartialEq, #[automatically_derived]
impl ::core::cmp::Eq for UnstableLintExpectationId {
    #[inline]
    #[doc(hidden)]
    #[coverage(off)]
    fn assert_fields_are_eq(&self) {
        let _: ::core::cmp::AssertParamIsEq<AttrId>;
        let _: ::core::cmp::AssertParamIsEq<u16>;
    }
}Eq, #[automatically_derived]
impl ::core::fmt::Debug for UnstableLintExpectationId {
    #[inline]
    fn fmt(&self, f: &mut ::core::fmt::Formatter) -> ::core::fmt::Result {
        ::core::fmt::Formatter::debug_struct_field2_finish(f,
            "UnstableLintExpectationId", "attr_id", &self.attr_id,
            "lint_index", &&self.lint_index)
    }
}Debug, #[automatically_derived]
impl ::core::hash::Hash for UnstableLintExpectationId {
    #[inline]
    fn hash<__H: ::core::hash::Hasher>(&self, state: &mut __H) {
        ::core::hash::Hash::hash(&self.attr_id, state);
        ::core::hash::Hash::hash(&self.lint_index, state)
    }
}Hash, const _: () =
    {
        impl<__E: ::rustc_span::SpanEncoder> ::rustc_serialize::Encodable<__E>
            for UnstableLintExpectationId {
            fn encode(&self, __encoder: &mut __E) {
                match *self {
                    UnstableLintExpectationId {
                        attr_id: ref __binding_0, lint_index: ref __binding_1 } => {
                        ::rustc_serialize::Encodable::<__E>::encode(__binding_0,
                            __encoder);
                        ::rustc_serialize::Encodable::<__E>::encode(__binding_1,
                            __encoder);
                    }
                }
            }
        }
    };Encodable, const _: () =
    {
        impl<__D: ::rustc_span::SpanDecoder> ::rustc_serialize::Decodable<__D>
            for UnstableLintExpectationId {
            fn decode(__decoder: &mut __D) -> Self {
                UnstableLintExpectationId {
                    attr_id: ::rustc_serialize::Decodable::decode(__decoder),
                    lint_index: ::rustc_serialize::Decodable::decode(__decoder),
                }
            }
        }
    };Decodable)]
111pub struct UnstableLintExpectationId {
112    pub attr_id: AttrId,
113    pub lint_index: u16,
114}
115
116impl From<UnstableLintExpectationId> for LintExpectationId {
117    fn from(id: UnstableLintExpectationId) -> LintExpectationId {
118        LintExpectationId::Unstable(id)
119    }
120}
121
122/// The [`HirId`] that the lint expectation is attached to. This id is stable
123/// and can be cached. The additional index ensures that nodes with several
124/// expectations can correctly match diagnostics to the individual expectation.
125#[derive(#[automatically_derived]
impl ::core::clone::Clone for StableLintExpectationId {
    #[inline]
    fn clone(&self) -> StableLintExpectationId {
        let _: ::core::clone::AssertParamIsClone<HirId>;
        let _: ::core::clone::AssertParamIsClone<u16>;
        *self
    }
}Clone, #[automatically_derived]
impl ::core::marker::Copy for StableLintExpectationId { }Copy, #[automatically_derived]
impl ::core::cmp::PartialEq for StableLintExpectationId {
    #[inline]
    fn eq(&self, other: &StableLintExpectationId) -> bool {
        self.attr_index == other.attr_index &&
                self.lint_index == other.lint_index &&
            self.hir_id == other.hir_id
    }
}PartialEq, #[automatically_derived]
impl ::core::cmp::Eq for StableLintExpectationId {
    #[inline]
    #[doc(hidden)]
    #[coverage(off)]
    fn assert_fields_are_eq(&self) {
        let _: ::core::cmp::AssertParamIsEq<HirId>;
        let _: ::core::cmp::AssertParamIsEq<u16>;
    }
}Eq, #[automatically_derived]
impl ::core::fmt::Debug for StableLintExpectationId {
    #[inline]
    fn fmt(&self, f: &mut ::core::fmt::Formatter) -> ::core::fmt::Result {
        ::core::fmt::Formatter::debug_struct_field3_finish(f,
            "StableLintExpectationId", "hir_id", &self.hir_id, "attr_index",
            &self.attr_index, "lint_index", &&self.lint_index)
    }
}Debug, #[automatically_derived]
impl ::core::hash::Hash for StableLintExpectationId {
    #[inline]
    fn hash<__H: ::core::hash::Hasher>(&self, state: &mut __H) {
        ::core::hash::Hash::hash(&self.hir_id, state);
        ::core::hash::Hash::hash(&self.attr_index, state);
        ::core::hash::Hash::hash(&self.lint_index, state)
    }
}Hash, const _: () =
    {
        impl<__E: ::rustc_span::SpanEncoder> ::rustc_serialize::Encodable<__E>
            for StableLintExpectationId {
            fn encode(&self, __encoder: &mut __E) {
                match *self {
                    StableLintExpectationId {
                        hir_id: ref __binding_0,
                        attr_index: ref __binding_1,
                        lint_index: ref __binding_2 } => {
                        ::rustc_serialize::Encodable::<__E>::encode(__binding_0,
                            __encoder);
                        ::rustc_serialize::Encodable::<__E>::encode(__binding_1,
                            __encoder);
                        ::rustc_serialize::Encodable::<__E>::encode(__binding_2,
                            __encoder);
                    }
                }
            }
        }
    };Encodable, const _: () =
    {
        impl<__D: ::rustc_span::SpanDecoder> ::rustc_serialize::Decodable<__D>
            for StableLintExpectationId {
            fn decode(__decoder: &mut __D) -> Self {
                StableLintExpectationId {
                    hir_id: ::rustc_serialize::Decodable::decode(__decoder),
                    attr_index: ::rustc_serialize::Decodable::decode(__decoder),
                    lint_index: ::rustc_serialize::Decodable::decode(__decoder),
                }
            }
        }
    };Decodable)]
126pub struct StableLintExpectationId {
127    pub hir_id: HirId,
128    pub attr_index: u16,
129    pub lint_index: u16,
130}
131
132impl StableHash for StableLintExpectationId {
133    #[inline]
134    fn stable_hash<Hcx: StableHashCtxt>(&self, hcx: &mut Hcx, hasher: &mut StableHasher) {
135        let StableLintExpectationId { hir_id, attr_index, lint_index } = self;
136
137        hir_id.stable_hash(hcx, hasher);
138        attr_index.stable_hash(hcx, hasher);
139        lint_index.stable_hash(hcx, hasher);
140    }
141}
142
143impl From<StableLintExpectationId> for LintExpectationId {
144    fn from(id: StableLintExpectationId) -> LintExpectationId {
145        LintExpectationId::Stable(id)
146    }
147}
148
149/// Setting for how to handle a lint.
150///
151/// See: <https://doc.rust-lang.org/rustc/lints/levels.html>
152#[derive(#[automatically_derived]
impl ::core::clone::Clone for Level {
    #[inline]
    fn clone(&self) -> Level { *self }
}Clone, #[automatically_derived]
impl ::core::marker::Copy for Level { }Copy, #[automatically_derived]
impl ::core::cmp::PartialEq for Level {
    #[inline]
    fn eq(&self, other: &Level) -> bool {
        let __self_discr = ::core::intrinsics::discriminant_value(self);
        let __arg1_discr = ::core::intrinsics::discriminant_value(other);
        __self_discr == __arg1_discr
    }
}PartialEq, #[automatically_derived]
impl ::core::cmp::PartialOrd for Level {
    #[inline]
    fn partial_cmp(&self, other: &Level)
        -> ::core::option::Option<::core::cmp::Ordering> {
        ::core::option::Option::Some(::core::cmp::Ord::cmp(self, other))
    }
}PartialOrd, #[automatically_derived]
impl ::core::cmp::Eq for Level {
    #[inline]
    #[doc(hidden)]
    #[coverage(off)]
    fn assert_fields_are_eq(&self) {}
}Eq, #[automatically_derived]
impl ::core::cmp::Ord for Level {
    #[inline]
    fn cmp(&self, other: &Level) -> ::core::cmp::Ordering {
        let __self_discr = ::core::intrinsics::discriminant_value(self);
        let __arg1_discr = ::core::intrinsics::discriminant_value(other);
        ::core::cmp::Ord::cmp(&__self_discr, &__arg1_discr)
    }
}Ord, #[automatically_derived]
impl ::core::fmt::Debug for Level {
    #[inline]
    fn fmt(&self, f: &mut ::core::fmt::Formatter) -> ::core::fmt::Result {
        ::core::fmt::Formatter::write_str(f,
            match self {
                Level::Allow => "Allow",
                Level::Expect => "Expect",
                Level::Warn => "Warn",
                Level::ForceWarn => "ForceWarn",
                Level::Deny => "Deny",
                Level::Forbid => "Forbid",
            })
    }
}Debug, #[automatically_derived]
impl ::core::hash::Hash for Level {
    #[inline]
    fn hash<__H: ::core::hash::Hasher>(&self, state: &mut __H) {
        let __self_discr = ::core::intrinsics::discriminant_value(self);
        ::core::hash::Hash::hash(&__self_discr, state)
    }
}Hash)]
153#[derive(const _: () =
    {
        impl<__E: ::rustc_span::SpanEncoder> ::rustc_serialize::Encodable<__E>
            for Level {
            fn encode(&self, __encoder: &mut __E) {
                let disc =
                    match *self {
                        Level::Allow => { 0usize }
                        Level::Expect => { 1usize }
                        Level::Warn => { 2usize }
                        Level::ForceWarn => { 3usize }
                        Level::Deny => { 4usize }
                        Level::Forbid => { 5usize }
                    };
                ::rustc_serialize::Encoder::emit_u8(__encoder, disc as u8);
                match *self {
                    Level::Allow => {}
                    Level::Expect => {}
                    Level::Warn => {}
                    Level::ForceWarn => {}
                    Level::Deny => {}
                    Level::Forbid => {}
                }
            }
        }
    };Encodable, const _: () =
    {
        impl<__D: ::rustc_span::SpanDecoder> ::rustc_serialize::Decodable<__D>
            for Level {
            fn decode(__decoder: &mut __D) -> Self {
                match ::rustc_serialize::Decoder::read_u8(__decoder) as usize
                    {
                    0usize => { Level::Allow }
                    1usize => { Level::Expect }
                    2usize => { Level::Warn }
                    3usize => { Level::ForceWarn }
                    4usize => { Level::Deny }
                    5usize => { Level::Forbid }
                    n => {
                        ::core::panicking::panic_fmt(format_args!("invalid enum variant tag while decoding `Level`, expected 0..6, actual {0}",
                                n));
                    }
                }
            }
        }
    };Decodable, const _: () =
    {
        impl ::rustc_data_structures::stable_hash::StableHash for Level {
            #[inline]
            fn stable_hash<__Hcx: ::rustc_data_structures::stable_hash::StableHashCtxt>(&self,
                __hcx: &mut __Hcx,
                __hasher:
                    &mut ::rustc_data_structures::stable_hash::StableHasher) {
                ::std::mem::discriminant(self).stable_hash(__hcx, __hasher);
                match *self {
                    Level::Allow => {}
                    Level::Expect => {}
                    Level::Warn => {}
                    Level::ForceWarn => {}
                    Level::Deny => {}
                    Level::Forbid => {}
                }
            }
        }
    };StableHash)]
154pub enum Level {
155    /// The `allow` level will not issue any message.
156    Allow,
157    /// The `expect` level will suppress the lint message but in turn produce a message
158    /// if the lint wasn't issued in the expected scope. `Expect` should not be used as
159    /// an initial level for a lint.
160    ///
161    /// Note that this still means that the lint is enabled in this position and should
162    /// be emitted, this will in turn fulfill the expectation and suppress the lint.
163    ///
164    /// See RFC 2383.
165    ///
166    /// Requires a [`LintExpectationId`] to later link a lint emission to the actual
167    /// expectation. It can be ignored in most cases.
168    Expect,
169    /// The `warn` level will produce a warning if the lint was violated, however the
170    /// compiler will continue with its execution.
171    Warn,
172    /// This lint level is a special case of [`Warn`], that can't be overridden. This is used
173    /// to ensure that a lint can't be suppressed. This lint level can currently only be set
174    /// via the console and is therefore session specific.
175    ///
176    /// Requires a [`LintExpectationId`] to fulfill expectations marked via the
177    /// `#[expect]` attribute, that will still be suppressed due to the level.
178    ForceWarn,
179    /// The `deny` level will produce an error and stop further execution after the lint
180    /// pass is complete.
181    Deny,
182    /// `Forbid` is equivalent to the `deny` level but can't be overwritten like the previous
183    /// levels.
184    Forbid,
185}
186
187impl Level {
188    /// Converts a level to a lower-case string.
189    pub fn as_str(self) -> &'static str {
190        match self {
191            Level::Allow => "allow",
192            Level::Expect => "expect",
193            Level::Warn => "warn",
194            Level::ForceWarn => "force-warn",
195            Level::Deny => "deny",
196            Level::Forbid => "forbid",
197        }
198    }
199
200    /// Converts a lower-case string to a level. This will never construct the expect
201    /// level as that would require a [`LintExpectationId`].
202    pub fn from_str(x: &str) -> Option<Self> {
203        match x {
204            "allow" => Some(Level::Allow),
205            "warn" => Some(Level::Warn),
206            "deny" => Some(Level::Deny),
207            "forbid" => Some(Level::Forbid),
208            "expect" | _ => None,
209        }
210    }
211
212    /// Converts an `Option<Symbol>` to a level.
213    pub fn from_opt_symbol(s: Option<Symbol>) -> Option<Self> {
214        s.and_then(Self::from_symbol)
215    }
216
217    /// Converts a `Symbol` to a level.
218    pub fn from_symbol(s: Symbol) -> Option<Self> {
219        match s {
220            sym::allow => Some(Level::Allow),
221            sym::expect => Some(Level::Expect),
222            sym::warn => Some(Level::Warn),
223            sym::deny => Some(Level::Deny),
224            sym::forbid => Some(Level::Forbid),
225            _ => None,
226        }
227    }
228
229    pub fn to_cmd_flag(self) -> &'static str {
230        match self {
231            Level::Warn => "-W",
232            Level::Deny => "-D",
233            Level::Forbid => "-F",
234            Level::Allow => "-A",
235            Level::ForceWarn => "--force-warn",
236            Level::Expect => {
237                {
    ::core::panicking::panic_fmt(format_args!("internal error: entered unreachable code: {0}",
            format_args!("the expect level does not have a commandline flag")));
}unreachable!("the expect level does not have a commandline flag")
238            }
239        }
240    }
241
242    pub fn is_error(self) -> bool {
243        match self {
244            Level::Allow | Level::Expect | Level::Warn | Level::ForceWarn => false,
245            Level::Deny | Level::Forbid => true,
246        }
247    }
248}
249
250impl IntoDiagArg for Level {
251    fn into_diag_arg(self, _: &mut Option<std::path::PathBuf>) -> DiagArgValue {
252        DiagArgValue::Str(Cow::Borrowed(self.to_cmd_flag()))
253    }
254}
255
256/// Specification of a single lint.
257#[derive(#[automatically_derived]
impl ::core::marker::Copy for Lint { }Copy, #[automatically_derived]
impl ::core::clone::Clone for Lint {
    #[inline]
    fn clone(&self) -> Lint {
        let _: ::core::clone::AssertParamIsClone<&'static str>;
        let _: ::core::clone::AssertParamIsClone<Level>;
        let _: ::core::clone::AssertParamIsClone<&'static str>;
        let _: ::core::clone::AssertParamIsClone<Option<(Edition, Level)>>;
        let _: ::core::clone::AssertParamIsClone<bool>;
        let _:
                ::core::clone::AssertParamIsClone<Option<FutureIncompatibleInfo>>;
        let _: ::core::clone::AssertParamIsClone<Option<Symbol>>;
        let _: ::core::clone::AssertParamIsClone<Option<RustcVersion>>;
        *self
    }
}Clone, #[automatically_derived]
impl ::core::fmt::Debug for Lint {
    #[inline]
    fn fmt(&self, f: &mut ::core::fmt::Formatter) -> ::core::fmt::Result {
        let names: &'static _ =
            &["name", "default_level", "desc", "edition_lint_opts",
                        "report_in_external_macro", "future_incompatible",
                        "is_externally_loaded", "feature_gate", "crate_level_only",
                        "eval_always", "ignore_deny_warnings", "rust_version"];
        let values: &[&dyn ::core::fmt::Debug] =
            &[&self.name, &self.default_level, &self.desc,
                        &self.edition_lint_opts, &self.report_in_external_macro,
                        &self.future_incompatible, &self.is_externally_loaded,
                        &self.feature_gate, &self.crate_level_only,
                        &self.eval_always, &self.ignore_deny_warnings,
                        &&self.rust_version];
        ::core::fmt::Formatter::debug_struct_fields_finish(f, "Lint", names,
            values)
    }
}Debug)]
258pub struct Lint {
259    /// A string identifier for the lint.
260    ///
261    /// This identifies the lint in attributes and in command-line arguments.
262    /// In those contexts it is always lowercase, but this field is compared
263    /// in a way which is case-insensitive for ASCII characters. This allows
264    /// `declare_lint!()` invocations to follow the convention of upper-case
265    /// statics without repeating the name.
266    ///
267    /// The name is written with underscores, e.g., "unused_imports".
268    /// On the command line, underscores become dashes.
269    ///
270    /// See <https://rustc-dev-guide.rust-lang.org/diagnostics.html#lint-naming>
271    /// for naming guidelines.
272    pub name: &'static str,
273
274    /// Default level for the lint.
275    ///
276    /// See <https://rustc-dev-guide.rust-lang.org/diagnostics.html#diagnostic-levels>
277    /// for guidelines on choosing a default level.
278    pub default_level: Level,
279
280    /// Description of the lint or the issue it detects.
281    ///
282    /// e.g., "imports that are never used"
283    pub desc: &'static str,
284
285    /// Starting at the given edition, default to the given lint level. If this is `None`, then use
286    /// `default_level`.
287    pub edition_lint_opts: Option<(Edition, Level)>,
288
289    /// `true` if this lint is reported even inside expansions of external macros.
290    pub report_in_external_macro: bool,
291
292    pub future_incompatible: Option<FutureIncompatibleInfo>,
293
294    /// `true` if this lint is being loaded by another tool (e.g. Clippy).
295    pub is_externally_loaded: bool,
296
297    /// `Some` if this lint is feature gated, otherwise `None`.
298    pub feature_gate: Option<Symbol>,
299
300    pub crate_level_only: bool,
301
302    /// `true` if this lint should not be filtered out under any circustamces
303    /// (e.g. the unknown_attributes lint)
304    pub eval_always: bool,
305
306    /// `true` if this lint is unaffected by `-D warnings`
307    pub ignore_deny_warnings: bool,
308
309    /// Used to avoid lints which would affect MSRV
310    pub rust_version: Option<RustcVersion>,
311}
312
313/// Extra information for a future incompatibility lint.
314#[derive(#[automatically_derived]
impl ::core::marker::Copy for FutureIncompatibleInfo { }Copy, #[automatically_derived]
impl ::core::clone::Clone for FutureIncompatibleInfo {
    #[inline]
    fn clone(&self) -> FutureIncompatibleInfo {
        let _: ::core::clone::AssertParamIsClone<FutureIncompatibilityReason>;
        let _: ::core::clone::AssertParamIsClone<bool>;
        *self
    }
}Clone, #[automatically_derived]
impl ::core::fmt::Debug for FutureIncompatibleInfo {
    #[inline]
    fn fmt(&self, f: &mut ::core::fmt::Formatter) -> ::core::fmt::Result {
        ::core::fmt::Formatter::debug_struct_field3_finish(f,
            "FutureIncompatibleInfo", "reason", &self.reason,
            "explain_reason", &self.explain_reason, "report_in_deps",
            &&self.report_in_deps)
    }
}Debug)]
315pub struct FutureIncompatibleInfo {
316    /// The reason for the lint used by diagnostics to provide
317    /// the right help message
318    pub reason: FutureIncompatibilityReason,
319    /// Whether to explain the reason to the user.
320    ///
321    /// Set to false for lints that already include a more detailed
322    /// explanation.
323    pub explain_reason: bool,
324    /// If set to `true`, this will make future incompatibility warnings show up in cargo's
325    /// reports.
326    ///
327    /// When a future incompatibility warning is first inroduced, set this to `false`
328    /// (or, rather, don't override the default). This allows crate developers an opportunity
329    /// to fix the warning before blasting all dependents with a warning they can't fix
330    /// (dependents have to wait for a new release of the affected crate to be published).
331    ///
332    /// After a lint has been in this state for a while, consider setting this to true, so it
333    /// warns for everyone. It is a good signal that it is ready if you can determine that all
334    /// or most affected crates on crates.io have been updated.
335    pub report_in_deps: bool,
336}
337
338#[derive(#[automatically_derived]
impl ::core::marker::Copy for EditionFcw { }Copy, #[automatically_derived]
impl ::core::clone::Clone for EditionFcw {
    #[inline]
    fn clone(&self) -> EditionFcw {
        let _: ::core::clone::AssertParamIsClone<Edition>;
        let _: ::core::clone::AssertParamIsClone<&'static str>;
        *self
    }
}Clone, #[automatically_derived]
impl ::core::fmt::Debug for EditionFcw {
    #[inline]
    fn fmt(&self, f: &mut ::core::fmt::Formatter) -> ::core::fmt::Result {
        ::core::fmt::Formatter::debug_struct_field2_finish(f, "EditionFcw",
            "edition", &self.edition, "page_slug", &&self.page_slug)
    }
}Debug)]
339pub struct EditionFcw {
340    pub edition: Edition,
341    pub page_slug: &'static str,
342}
343
344#[derive(#[automatically_derived]
impl ::core::marker::Copy for ReleaseFcw { }Copy, #[automatically_derived]
impl ::core::clone::Clone for ReleaseFcw {
    #[inline]
    fn clone(&self) -> ReleaseFcw {
        let _: ::core::clone::AssertParamIsClone<usize>;
        *self
    }
}Clone, #[automatically_derived]
impl ::core::fmt::Debug for ReleaseFcw {
    #[inline]
    fn fmt(&self, f: &mut ::core::fmt::Formatter) -> ::core::fmt::Result {
        ::core::fmt::Formatter::debug_struct_field1_finish(f, "ReleaseFcw",
            "issue_number", &&self.issue_number)
    }
}Debug)]
345pub struct ReleaseFcw {
346    pub issue_number: usize,
347}
348
349/// The reason for future incompatibility
350///
351/// Future-incompatible lints come in roughly two categories:
352///
353/// 1. There was a mistake in the compiler (such as a soundness issue), and
354///    we're trying to fix it, but it may be a breaking change.
355/// 2. A change across an Edition boundary, typically used for the
356///    introduction of new language features that can't otherwise be
357///    introduced in a backwards-compatible way.
358///
359/// See <https://rustc-dev-guide.rust-lang.org/bug-fix-procedure.html> and
360/// <https://rustc-dev-guide.rust-lang.org/diagnostics.html#future-incompatible-lints>
361/// for more information.
362#[derive(#[automatically_derived]
impl ::core::marker::Copy for FutureIncompatibilityReason { }Copy, #[automatically_derived]
impl ::core::clone::Clone for FutureIncompatibilityReason {
    #[inline]
    fn clone(&self) -> FutureIncompatibilityReason {
        let _: ::core::clone::AssertParamIsClone<ReleaseFcw>;
        let _: ::core::clone::AssertParamIsClone<EditionFcw>;
        let _: ::core::clone::AssertParamIsClone<&'static str>;
        *self
    }
}Clone, #[automatically_derived]
impl ::core::fmt::Debug for FutureIncompatibilityReason {
    #[inline]
    fn fmt(&self, f: &mut ::core::fmt::Formatter) -> ::core::fmt::Result {
        match self {
            FutureIncompatibilityReason::FutureReleaseError(__self_0) =>
                ::core::fmt::Formatter::debug_tuple_field1_finish(f,
                    "FutureReleaseError", &__self_0),
            FutureIncompatibilityReason::FutureReleaseSemanticsChange(__self_0)
                =>
                ::core::fmt::Formatter::debug_tuple_field1_finish(f,
                    "FutureReleaseSemanticsChange", &__self_0),
            FutureIncompatibilityReason::EditionError(__self_0) =>
                ::core::fmt::Formatter::debug_tuple_field1_finish(f,
                    "EditionError", &__self_0),
            FutureIncompatibilityReason::EditionSemanticsChange(__self_0) =>
                ::core::fmt::Formatter::debug_tuple_field1_finish(f,
                    "EditionSemanticsChange", &__self_0),
            FutureIncompatibilityReason::EditionAndFutureReleaseError(__self_0)
                =>
                ::core::fmt::Formatter::debug_tuple_field1_finish(f,
                    "EditionAndFutureReleaseError", &__self_0),
            FutureIncompatibilityReason::EditionAndFutureReleaseSemanticsChange(__self_0)
                =>
                ::core::fmt::Formatter::debug_tuple_field1_finish(f,
                    "EditionAndFutureReleaseSemanticsChange", &__self_0),
            FutureIncompatibilityReason::Custom(__self_0, __self_1) =>
                ::core::fmt::Formatter::debug_tuple_field2_finish(f, "Custom",
                    __self_0, &__self_1),
            FutureIncompatibilityReason::Unreachable =>
                ::core::fmt::Formatter::write_str(f, "Unreachable"),
        }
    }
}Debug)]
363pub enum FutureIncompatibilityReason {
364    /// This will be an error in a future release for all editions
365    ///
366    /// Choose this variant when you are first introducing a "future
367    /// incompatible" warning that is intended to eventually be fixed in the
368    /// future.
369    ///
370    /// After a lint has been in this state for a while and you feel like it is ready to graduate
371    /// to warning everyone, consider setting [`FutureIncompatibleInfo::report_in_deps`] to true.
372    /// (see its documentation for more guidance)
373    ///
374    /// After some period of time, lints with this variant can be turned into
375    /// hard errors (and the lint removed). Preferably when there is some
376    /// confidence that the number of impacted projects is very small (few
377    /// should have a broken dependency in their dependency tree).
378    FutureReleaseError(ReleaseFcw),
379    /// Code that changes meaning in some way in a
380    /// future release.
381    ///
382    /// Choose this variant when the semantics of existing code is changing,
383    /// (as opposed to [`FutureIncompatibilityReason::FutureReleaseError`],
384    /// which is for when code is going to be rejected in the future).
385    FutureReleaseSemanticsChange(ReleaseFcw),
386    /// Previously accepted code that will become an
387    /// error in the provided edition
388    ///
389    /// Choose this variant for code that you want to start rejecting across
390    /// an edition boundary. This will automatically include the lint in the
391    /// `rust-20xx-compatibility` lint group, which is used by `cargo fix
392    /// --edition` to do migrations. The lint *should* be auto-fixable with
393    /// [`Applicability::MachineApplicable`].
394    ///
395    /// The lint can either be `Allow` or `Warn` by default. If it is `Allow`,
396    /// users usually won't see this warning unless they are doing an edition
397    /// migration manually or there is a problem during the migration (cargo's
398    /// automatic migrations will force the level to `Warn`). If it is `Warn`
399    /// by default, users on all editions will see this warning (only do this
400    /// if you think it is important for everyone to be aware of the change,
401    /// and to encourage people to update their code on all editions).
402    ///
403    /// See also [`FutureIncompatibilityReason::EditionSemanticsChange`] if
404    /// you have code that is changing semantics across the edition (as
405    /// opposed to being rejected).
406    EditionError(EditionFcw),
407    /// Code that changes meaning in some way in
408    /// the provided edition
409    ///
410    /// This is the same as [`FutureIncompatibilityReason::EditionError`],
411    /// except for situations where the semantics change across an edition. It
412    /// slightly changes the text of the diagnostic, but is otherwise the
413    /// same.
414    EditionSemanticsChange(EditionFcw),
415    /// This will be an error in the provided edition *and* in a future
416    /// release.
417    ///
418    /// This variant a combination of [`FutureReleaseError`] and [`EditionError`].
419    /// This is useful in rare cases when we want to have "preview" of a breaking
420    /// change in an edition, but do a breaking change later on all editions anyway.
421    ///
422    /// [`EditionError`]: FutureIncompatibilityReason::EditionError
423    /// [`FutureReleaseError`]: FutureIncompatibilityReason::FutureReleaseError
424    EditionAndFutureReleaseError(EditionFcw),
425    /// This will change meaning in the provided edition *and* in a future
426    /// release.
427    ///
428    /// This variant a combination of [`FutureReleaseSemanticsChange`]
429    /// and [`EditionSemanticsChange`]. This is useful in rare cases when we
430    /// want to have "preview" of a breaking change in an edition, but do a
431    /// breaking change later on all editions anyway.
432    ///
433    /// [`EditionSemanticsChange`]: FutureIncompatibilityReason::EditionSemanticsChange
434    /// [`FutureReleaseSemanticsChange`]: FutureIncompatibilityReason::FutureReleaseSemanticsChange
435    EditionAndFutureReleaseSemanticsChange(EditionFcw),
436    /// A custom reason.
437    ///
438    /// Choose this variant if the built-in text of the diagnostic of the
439    /// other variants doesn't match your situation. This is behaviorally
440    /// equivalent to
441    /// [`FutureIncompatibilityReason::FutureReleaseError`].
442    Custom(&'static str, ReleaseFcw),
443
444    /// Using the declare_lint macro a reason always needs to be specified.
445    /// So, this case can't actually be reached but a variant needs to exist for it.
446    /// Any code panics on seeing this variant. Do not use.
447    Unreachable,
448}
449
450impl FutureIncompatibleInfo {
451    pub const fn default_fields_for_macro() -> Self {
452        FutureIncompatibleInfo {
453            reason: FutureIncompatibilityReason::Unreachable,
454            explain_reason: true,
455            report_in_deps: false,
456        }
457    }
458}
459
460impl FutureIncompatibilityReason {
461    pub fn edition(self) -> Option<Edition> {
462        match self {
463            Self::EditionError(e)
464            | Self::EditionSemanticsChange(e)
465            | Self::EditionAndFutureReleaseError(e)
466            | Self::EditionAndFutureReleaseSemanticsChange(e) => Some(e.edition),
467
468            FutureIncompatibilityReason::FutureReleaseError(_)
469            | FutureIncompatibilityReason::FutureReleaseSemanticsChange(_)
470            | FutureIncompatibilityReason::Custom(_, _) => None,
471            Self::Unreachable => ::core::panicking::panic("internal error: entered unreachable code")unreachable!(),
472        }
473    }
474
475    pub fn reference(&self) -> String {
476        match self {
477            Self::FutureReleaseSemanticsChange(release_fcw)
478            | Self::FutureReleaseError(release_fcw)
479            | Self::Custom(_, release_fcw) => release_fcw.to_string(),
480            Self::EditionError(edition_fcw)
481            | Self::EditionSemanticsChange(edition_fcw)
482            | Self::EditionAndFutureReleaseError(edition_fcw)
483            | Self::EditionAndFutureReleaseSemanticsChange(edition_fcw) => edition_fcw.to_string(),
484            Self::Unreachable => ::core::panicking::panic("internal error: entered unreachable code")unreachable!(),
485        }
486    }
487}
488
489impl Display for ReleaseFcw {
490    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
491        let issue_number = self.issue_number;
492        f.write_fmt(format_args!("issue #{0} <https://github.com/rust-lang/rust/issues/{0}>",
        issue_number))write!(f, "issue #{issue_number} <https://github.com/rust-lang/rust/issues/{issue_number}>")
493    }
494}
495
496impl Display for EditionFcw {
497    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
498        f.write_fmt(format_args!("<https://doc.rust-lang.org/edition-guide/{0}/{1}.html>",
        match self.edition {
            Edition::Edition2015 => "rust-2015",
            Edition::Edition2018 => "rust-2018",
            Edition::Edition2021 => "rust-2021",
            Edition::Edition2024 => "rust-2024",
            Edition::EditionFuture => "future",
        }, self.page_slug))write!(
499            f,
500            "<https://doc.rust-lang.org/edition-guide/{}/{}.html>",
501            match self.edition {
502                Edition::Edition2015 => "rust-2015",
503                Edition::Edition2018 => "rust-2018",
504                Edition::Edition2021 => "rust-2021",
505                Edition::Edition2024 => "rust-2024",
506                Edition::EditionFuture => "future",
507            },
508            self.page_slug,
509        )
510    }
511}
512
513impl Lint {
514    pub const fn default_fields_for_macro() -> Self {
515        Lint {
516            name: "",
517            default_level: Level::Forbid,
518            desc: "",
519            edition_lint_opts: None,
520            is_externally_loaded: false,
521            report_in_external_macro: false,
522            future_incompatible: None,
523            feature_gate: None,
524            crate_level_only: false,
525            eval_always: false,
526            ignore_deny_warnings: false,
527            rust_version: None,
528        }
529    }
530
531    // FIXME(const-hack): This is used so that `declare_lint` can declare an MSRV statically.
532    // `RustcVersion::parse_str_strict` should ideally be used instead.
533    pub const fn parse_rust_version(version: &str) -> RustcVersion {
534        const fn parse_part(input: &mut &[u8]) -> u16 {
535            let mut val = 0;
536            let mut idx = 0;
537            while idx < input.len() {
538                let v = input[idx];
539                match v {
540                    b'0'..=b'9' => {
541                        val = val * 10 + (v - b'0') as u16;
542                    }
543                    b'.' => {
544                        idx += 1;
545                        break;
546                    }
547                    _ => {
    ::core::panicking::panic_fmt(format_args!("invalid character in version"));
}panic!("invalid character in version"),
548                }
549                idx += 1;
550            }
551            *input = input.split_at(idx).1;
552            val
553        }
554
555        let mut bytes = version.as_bytes();
556        let major = parse_part(&mut bytes);
557        let minor = parse_part(&mut bytes);
558        let patch = parse_part(&mut bytes);
559        if !bytes.is_empty() {
    ::core::panicking::panic("assertion failed: bytes.is_empty()")
};assert!(bytes.is_empty());
560        RustcVersion { major, minor, patch }
561    }
562
563    /// Gets the lint's name, with ASCII letters converted to lowercase.
564    pub fn name_lower(&self) -> String {
565        self.name.to_ascii_lowercase()
566    }
567
568    pub fn default_level(&self, edition: Edition) -> Level {
569        self.edition_lint_opts
570            .filter(|(e, _)| *e <= edition)
571            .map(|(_, l)| l)
572            .unwrap_or(self.default_level)
573    }
574}
575
576/// Identifies a lint known to the compiler.
577#[derive(#[automatically_derived]
impl ::core::clone::Clone for LintId {
    #[inline]
    fn clone(&self) -> LintId {
        let _: ::core::clone::AssertParamIsClone<&'static Lint>;
        *self
    }
}Clone, #[automatically_derived]
impl ::core::marker::Copy for LintId { }Copy, #[automatically_derived]
impl ::core::fmt::Debug for LintId {
    #[inline]
    fn fmt(&self, f: &mut ::core::fmt::Formatter) -> ::core::fmt::Result {
        ::core::fmt::Formatter::debug_struct_field1_finish(f, "LintId",
            "lint", &&self.lint)
    }
}Debug)]
578pub struct LintId {
579    // Identity is based on pointer equality of this field.
580    pub lint: &'static Lint,
581}
582
583impl PartialEq for LintId {
584    fn eq(&self, other: &LintId) -> bool {
585        std::ptr::eq(self.lint, other.lint)
586    }
587}
588
589impl Eq for LintId {}
590
591impl std::hash::Hash for LintId {
592    fn hash<H: std::hash::Hasher>(&self, state: &mut H) {
593        let ptr = self.lint as *const Lint;
594        ptr.hash(state);
595    }
596}
597
598impl LintId {
599    /// Gets the `LintId` for a `Lint`.
600    pub fn of(lint: &'static Lint) -> LintId {
601        LintId { lint }
602    }
603
604    pub fn lint_name_raw(&self) -> &'static str {
605        self.lint.name
606    }
607
608    /// Gets the name of the lint.
609    pub fn to_string(&self) -> String {
610        self.lint.name_lower()
611    }
612}
613
614impl StableHash for LintId {
615    #[inline]
616    fn stable_hash<Hcx: StableHashCtxt>(&self, hcx: &mut Hcx, hasher: &mut StableHasher) {
617        self.lint_name_raw().stable_hash(hcx, hasher);
618    }
619}
620
621impl StableCompare for LintId {
622    const CAN_USE_UNSTABLE_SORT: bool = true;
623
624    fn stable_cmp(&self, other: &Self) -> std::cmp::Ordering {
625        self.lint_name_raw().cmp(&other.lint_name_raw())
626    }
627}
628
629#[derive(#[automatically_derived]
impl ::core::fmt::Debug for DeprecatedSinceKind {
    #[inline]
    fn fmt(&self, f: &mut ::core::fmt::Formatter) -> ::core::fmt::Result {
        match self {
            DeprecatedSinceKind::InEffect =>
                ::core::fmt::Formatter::write_str(f, "InEffect"),
            DeprecatedSinceKind::InFuture =>
                ::core::fmt::Formatter::write_str(f, "InFuture"),
            DeprecatedSinceKind::InVersion(__self_0) =>
                ::core::fmt::Formatter::debug_tuple_field1_finish(f,
                    "InVersion", &__self_0),
        }
    }
}Debug, #[automatically_derived]
impl ::core::clone::Clone for DeprecatedSinceKind {
    #[inline]
    fn clone(&self) -> DeprecatedSinceKind {
        match self {
            DeprecatedSinceKind::InEffect => DeprecatedSinceKind::InEffect,
            DeprecatedSinceKind::InFuture => DeprecatedSinceKind::InFuture,
            DeprecatedSinceKind::InVersion(__self_0) =>
                DeprecatedSinceKind::InVersion(::core::clone::Clone::clone(__self_0)),
        }
    }
}Clone)]
630pub enum DeprecatedSinceKind {
631    InEffect,
632    InFuture,
633    InVersion(String),
634}
635
636pub type RegisteredTools = FxIndexSet<Ident>;
637
638/// Declares a static item of type `&'static Lint`.
639///
640/// See <https://rustc-dev-guide.rust-lang.org/diagnostics.html> for
641/// documentation and guidelines on writing lints.
642///
643/// The macro call should start with a doc comment explaining the lint
644/// which will be embedded in the rustc user documentation book. It should
645/// be written in markdown and have a format that looks like this:
646///
647/// ```rust,ignore (doc-example)
648/// /// The `my_lint_name` lint detects [short explanation here].
649/// ///
650/// /// ### Example
651/// ///
652/// /// ```rust
653/// /// [insert a concise example that triggers the lint]
654/// /// ```
655/// ///
656/// /// {{produces}}
657/// ///
658/// /// ### Explanation
659/// ///
660/// /// This should be a detailed explanation of *why* the lint exists,
661/// /// and also include suggestions on how the user should fix the problem.
662/// /// Try to keep the text simple enough that a beginner can understand,
663/// /// and include links to other documentation for terminology that a
664/// /// beginner may not be familiar with. If this is "allow" by default,
665/// /// it should explain why (are there false positives or other issues?). If
666/// /// this is a future-incompatible lint, it should say so, with text that
667/// /// looks roughly like this:
668/// ///
669/// /// This is a [future-incompatible] lint to transition this to a hard
670/// /// error in the future. See [issue #xxxxx] for more details.
671/// ///
672/// /// [issue #xxxxx]: https://github.com/rust-lang/rust/issues/xxxxx
673/// ```
674///
675/// The `{{produces}}` tag will be automatically replaced with the output from
676/// the example by the build system. If the lint example is too complex to run
677/// as a simple example (for example, it needs an extern crate), mark the code
678/// block with `ignore` and manually replace the `{{produces}}` line with the
679/// expected output in a `text` code block.
680///
681/// If this is a rustdoc-only lint, then only include a brief introduction
682/// with a link with the text `[rustdoc book]` so that the validator knows
683/// that this is for rustdoc only (see BROKEN_INTRA_DOC_LINKS as an example).
684///
685/// Commands to view and test the documentation:
686///
687/// * `./x.py doc --stage=1 src/doc/rustc --open`: Builds the rustc book and opens it.
688/// * `./x.py test src/tools/lint-docs`: Validates that the lint docs have the
689///   correct style, and that the code example actually emits the expected
690///   lint.
691///
692/// If you have already built the compiler, and you want to make changes to
693/// just the doc comments, then use the `--keep-stage=0` flag with the above
694/// commands to avoid rebuilding the compiler.
695#[macro_export]
696macro_rules! declare_lint {
697    ($(#[$attr:meta])* $vis: vis $NAME: ident, $Level: ident, $desc: expr) => (
698        $crate::declare_lint!(
699            $(#[$attr])* $vis $NAME, $Level, $desc,
700        );
701    );
702    ($(#[$attr:meta])* $vis: vis $NAME: ident, $Level: ident, $desc: expr,
703     $(@eval_always = $eval_always:literal)?
704     $(@feature_gate = $gate:ident;)?
705     $(@future_incompatible = FutureIncompatibleInfo {
706        reason: $reason:expr,
707        $($field:ident : $val:expr),* $(,)*
708     }; )?
709     $(@edition $lint_edition:ident => $edition_level:ident;)?
710     $(@msrv = $msrv:literal;)?
711     $($v:ident),*) => (
712        $(#[$attr])*
713        $vis static $NAME: &$crate::Lint = &$crate::Lint {
714            name: stringify!($NAME),
715            default_level: $crate::$Level,
716            desc: $desc,
717            is_externally_loaded: false,
718            $($v: true,)*
719            $(feature_gate: Some(rustc_span::sym::$gate),)?
720            $(future_incompatible: Some($crate::FutureIncompatibleInfo {
721                reason: $reason,
722                $($field: $val,)*
723                ..$crate::FutureIncompatibleInfo::default_fields_for_macro()
724            }),)?
725            $(edition_lint_opts: Some(($crate::Edition::$lint_edition, $crate::$edition_level)),)?
726            $(eval_always: $eval_always,)?
727            $(rust_version: Some($crate::Lint::parse_rust_version($msrv)),)?
728            ..$crate::Lint::default_fields_for_macro()
729        };
730    );
731}
732
733#[macro_export]
734macro_rules! declare_tool_lint {
735    (
736        $(#[$attr:meta])* $vis:vis $tool:ident ::$NAME:ident, $Level: ident, $desc: expr
737        $(, @eval_always = $eval_always:literal)?
738        $(, @feature_gate = $gate:ident;)?
739    ) => (
740        $crate::declare_tool_lint!{$(#[$attr])* $vis $tool::$NAME, $Level, $desc, false $(, @eval_always = $eval_always)? $(, @feature_gate = $gate;)?}
741    );
742    (
743        $(#[$attr:meta])* $vis:vis $tool:ident ::$NAME:ident, $Level:ident, $desc:expr,
744        report_in_external_macro: $rep:expr
745        $(, @eval_always = $eval_always: literal)?
746        $(, @feature_gate = $gate:ident;)?
747    ) => (
748         $crate::declare_tool_lint!{$(#[$attr])* $vis $tool::$NAME, $Level, $desc, $rep  $(, @eval_always = $eval_always)? $(, @feature_gate = $gate;)?}
749    );
750    (
751        $(#[$attr:meta])* $vis:vis $tool:ident ::$NAME:ident, $Level:ident, $desc:expr,
752        $external:expr
753        $(, @eval_always = $eval_always: literal)?
754        $(, @feature_gate = $gate:ident;)?
755    ) => (
756        $(#[$attr])*
757        $vis static $NAME: &$crate::Lint = &$crate::Lint {
758            name: &concat!(stringify!($tool), "::", stringify!($NAME)),
759            default_level: $crate::$Level,
760            desc: $desc,
761            edition_lint_opts: None,
762            report_in_external_macro: $external,
763            future_incompatible: None,
764            is_externally_loaded: true,
765            $(feature_gate: Some(rustc_span::sym::$gate),)?
766            crate_level_only: false,
767            $(eval_always: $eval_always,)?
768            ..$crate::Lint::default_fields_for_macro()
769        };
770    );
771}
772
773pub type LintVec = Vec<&'static Lint>;
774
775pub trait LintPass {
776    fn name(&self) -> &'static str;
777    fn get_lints(&self) -> LintVec;
778}
779
780/// Implements `LintPass for $ty` with the given list of `Lint` statics.
781#[macro_export]
782macro_rules! impl_lint_pass {
783    ($ty:ty => [$($lint:expr),* $(,)?]) => {
784        impl $crate::LintPass for $ty {
785            fn name(&self) -> &'static str { stringify!($ty) }
786            fn get_lints(&self) -> $crate::LintVec { vec![$($lint),*] }
787        }
788        impl $ty {
789            #[allow(unused)]
790            pub fn lint_vec() -> $crate::LintVec { vec![$($lint),*] }
791        }
792    };
793}
794
795/// Declares a type named `$name` which implements `LintPass`.
796/// To the right of `=>` a comma separated list of `Lint` statics is given.
797#[macro_export]
798macro_rules! declare_lint_pass {
799    ($(#[$m:meta])* $name:ident => [$($lint:expr),* $(,)?]) => {
800        $(#[$m])* #[derive(Copy, Clone)] pub struct $name;
801        $crate::impl_lint_pass!($name => [$($lint),*]);
802    };
803}
804
805#[macro_export]
806macro_rules! fcw {
807    (FutureReleaseError # $issue_number: literal) => {
808       $crate:: FutureIncompatibilityReason::FutureReleaseError($crate::ReleaseFcw { issue_number: $issue_number })
809    };
810    (FutureReleaseSemanticsChange # $issue_number: literal) => {
811        $crate::FutureIncompatibilityReason::FutureReleaseSemanticsChange($crate::ReleaseFcw {
812            issue_number: $issue_number,
813        })
814    };
815    ($description: literal # $issue_number: literal) => {
816        $crate::FutureIncompatibilityReason::Custom($description, $crate::ReleaseFcw {
817            issue_number: $issue_number,
818        })
819    };
820    (EditionError $edition_name: tt $page_slug: literal) => {
821        $crate::FutureIncompatibilityReason::EditionError($crate::EditionFcw {
822            edition: fcw!(@edition $edition_name),
823            page_slug: $page_slug,
824        })
825    };
826    (EditionSemanticsChange $edition_name: tt $page_slug: literal) => {
827        $crate::FutureIncompatibilityReason::EditionSemanticsChange($crate::EditionFcw {
828            edition: fcw!(@edition $edition_name),
829            page_slug: $page_slug,
830        })
831    };
832    (EditionAndFutureReleaseSemanticsChange $edition_name: tt $page_slug: literal) => {
833        $crate::FutureIncompatibilityReason::EditionAndFutureReleaseSemanticsChange($crate::EditionFcw {
834            edition: fcw!(@edition $edition_name),
835            page_slug: $page_slug,
836        })
837    };
838    (EditionAndFutureReleaseError $edition_name: tt $page_slug: literal) => {
839        $crate::FutureIncompatibilityReason::EditionAndFutureReleaseError($crate::EditionFcw {
840            edition: fcw!(@edition $edition_name),
841            page_slug: $page_slug,
842        })
843    };
844    (@edition 2024) => {
845        rustc_span::edition::Edition::Edition2024
846    };
847    (@edition 2021) => {
848        rustc_span::edition::Edition::Edition2021
849    };
850    (@edition 2018) => {
851        rustc_span::edition::Edition::Edition2018
852    };
853}