Expand description
This module implements some validity checks for attributes.
In particular it verifies that #[inline] and #[repr] attributes are
attached to items that actually support them and if there are
conflicts between multiple such attributes attached to the same
item.
Re-exports§
use std::cell::Cell;🔒use std::slice;🔒use rustc_attr_ir::diagnostic::Directive;🔒use rustc_attr_ir::lang_items::LangItem;🔒use rustc_attr_ir::lint::LintCheck;🔒use rustc_attr_ir::target::AssocCtxt;🔒use rustc_attr_ir::target::MethodKind;🔒use rustc_attr_ir::target::Target;🔒use rustc_attr_ir::Attribute;🔒use rustc_attr_ir::AttributeKind;🔒use rustc_attr_ir::DocAttribute;🔒use rustc_attr_ir::EiiDecl;🔒use rustc_attr_ir::EiiImpl;🔒use rustc_attr_ir::EiiImplResolution;🔒use rustc_attr_ir::InlineAttr;🔒use rustc_attr_ir::OptimizeAttr;🔒use rustc_attr_ir::ReprAttr;🔒use rustc_attr_ir::RustcAssertVarianceKind;🔒use rustc_attr_ir::find_attr;🔒use rustc_attr_parsing::AttributeParser;🔒use rustc_data_structures::thin_vec::ThinVec;🔒use rustc_errors::DiagCtxtHandle;🔒use rustc_errors::IntoDiagArg;🔒use rustc_feature::BUILTIN_ATTRIBUTE_SET;🔒use rustc_hir::def::DefKind;🔒use rustc_hir::def_id::LocalModId;🔒use rustc_hir::intravisit;🔒use rustc_hir::intravisit::Visitor;🔒use rustc_hir as hir;🔒use rustc_hir::CRATE_HIR_ID;🔒use rustc_hir::Constness;🔒use rustc_hir::ForeignItem;🔒use rustc_hir::GenericParam;🔒use rustc_hir::GenericParamKind;🔒use rustc_hir::HirId;🔒use rustc_hir::Item;🔒use rustc_hir::ItemKind;🔒use rustc_hir::Mod;🔒use rustc_hir::Node;🔒use rustc_hir::ParamName;🔒use rustc_hir::TraitItem;🔒use rustc_lint_defs::builtin::CONFLICTING_REPR_HINTS;🔒use rustc_lint_defs::builtin::INVALID_DOC_ATTRIBUTES;🔒use rustc_lint_defs::builtin::MALFORMED_DIAGNOSTIC_ATTRIBUTES;🔒use rustc_lint_defs::builtin::MALFORMED_DIAGNOSTIC_FORMAT_LITERALS;🔒use rustc_lint_defs::builtin::MISPLACED_DIAGNOSTIC_ATTRIBUTES;🔒use rustc_lint_defs::builtin::REPEATED_REPRS;🔒use rustc_lint_defs::builtin::UNUSED_ATTRIBUTES;🔒use rustc_macros::Diagnostic;🔒use rustc_middle::hir::nested_filter;🔒use rustc_middle::query::Providers;🔒use rustc_middle::traits::ObligationCause;🔒use rustc_middle::ty::error::ExpectedFound;🔒use rustc_middle::ty::error::TypeError;🔒use rustc_middle::ty;🔒use rustc_middle::ty::TyCtxt;🔒use rustc_middle::ty::TypingMode;🔒use rustc_middle::ty::Unnormalized;🔒use rustc_middle::ty::Variance;🔒use rustc_span::edition::Edition;🔒use rustc_span::DUMMY_SP;🔒use rustc_span::Ident;🔒use rustc_span::Span;🔒use rustc_span::Symbol;🔒use rustc_span::bug;🔒use rustc_span::span_bug;🔒use rustc_span::sym;🔒use rustc_structures::CrateType;🔒use rustc_trait_selection::error_reporting::InferCtxtErrorExt;🔒use rustc_trait_selection::infer::TyCtxtInferExt;🔒use rustc_trait_selection::infer::ValuePairs;🔒use rustc_trait_selection::traits::ObligationCtxt;🔒use rustc_trait_selection::traits::TraitErrors;🔒use crate::diagnostics;🔒