1 //! This module implements some validity checks for attributes.
2 //! In particular it verifies that `#[inline]` and `#[repr]` attributes are
3 //! attached to items that actually support them and if there are
4 //! conflicts between multiple such attributes attached to the same
8 use crate::{Item, ItemKind, TraitItem, TraitItemKind};
10 use std::fmt::{self, Display};
12 #[derive(Copy, Clone, PartialEq, Debug)]
13 pub enum GenericParamKind {
19 #[derive(Copy, Clone, PartialEq, Debug)]
25 #[derive(Copy, Clone, PartialEq, Debug)]
55 GenericParam(GenericParamKind),
60 impl Display for Target {
61 fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
66 Target::ExternCrate => "extern crate",
68 Target::Static => "static item",
69 Target::Const => "constant item",
70 Target::Fn => "function",
71 Target::Closure => "closure",
72 Target::Mod => "module",
73 Target::ForeignMod => "foreign module",
74 Target::GlobalAsm => "global asm",
75 Target::TyAlias => "type alias",
76 Target::OpaqueTy => "opaque type",
77 Target::Enum => "enum",
78 Target::Variant => "enum variant",
79 Target::Struct => "struct",
80 Target::Field => "struct field",
81 Target::Union => "union",
82 Target::Trait => "trait",
83 Target::TraitAlias => "trait alias",
84 Target::Impl => "item",
85 Target::Expression => "expression",
86 Target::Statement => "statement",
87 Target::Arm => "match arm",
88 Target::AssocConst => "associated const",
89 Target::Method(kind) => match kind {
90 MethodKind::Inherent => "inherent method",
91 MethodKind::Trait { body: false } => "required trait method",
92 MethodKind::Trait { body: true } => "provided trait method",
94 Target::AssocTy => "associated type",
95 Target::ForeignFn => "foreign function",
96 Target::ForeignStatic => "foreign static item",
97 Target::ForeignTy => "foreign type",
98 Target::GenericParam(kind) => match kind {
99 GenericParamKind::Type => "type parameter",
100 GenericParamKind::Lifetime => "lifetime parameter",
101 GenericParamKind::Const => "const parameter",
103 Target::MacroDef => "macro def",
104 Target::Param => "function param",
111 pub fn from_item(item: &Item<'_>) -> Target {
113 ItemKind::ExternCrate(..) => Target::ExternCrate,
114 ItemKind::Use(..) => Target::Use,
115 ItemKind::Static(..) => Target::Static,
116 ItemKind::Const(..) => Target::Const,
117 ItemKind::Fn(..) => Target::Fn,
118 ItemKind::Macro(..) => Target::MacroDef,
119 ItemKind::Mod(..) => Target::Mod,
120 ItemKind::ForeignMod { .. } => Target::ForeignMod,
121 ItemKind::GlobalAsm(..) => Target::GlobalAsm,
122 ItemKind::TyAlias(..) => Target::TyAlias,
123 ItemKind::OpaqueTy(..) => Target::OpaqueTy,
124 ItemKind::Enum(..) => Target::Enum,
125 ItemKind::Struct(..) => Target::Struct,
126 ItemKind::Union(..) => Target::Union,
127 ItemKind::Trait(..) => Target::Trait,
128 ItemKind::TraitAlias(..) => Target::TraitAlias,
129 ItemKind::Impl { .. } => Target::Impl,
133 pub fn from_trait_item(trait_item: &TraitItem<'_>) -> Target {
134 match trait_item.kind {
135 TraitItemKind::Const(..) => Target::AssocConst,
136 TraitItemKind::Fn(_, hir::TraitFn::Required(_)) => {
137 Target::Method(MethodKind::Trait { body: false })
139 TraitItemKind::Fn(_, hir::TraitFn::Provided(_)) => {
140 Target::Method(MethodKind::Trait { body: true })
142 TraitItemKind::Type(..) => Target::AssocTy,
146 pub fn from_foreign_item(foreign_item: &hir::ForeignItem<'_>) -> Target {
147 match foreign_item.kind {
148 hir::ForeignItemKind::Fn(..) => Target::ForeignFn,
149 hir::ForeignItemKind::Static(..) => Target::ForeignStatic,
150 hir::ForeignItemKind::Type => Target::ForeignTy,
154 pub fn from_generic_param(generic_param: &hir::GenericParam<'_>) -> Target {
155 match generic_param.kind {
156 hir::GenericParamKind::Type { .. } => Target::GenericParam(GenericParamKind::Type),
157 hir::GenericParamKind::Lifetime { .. } => {
158 Target::GenericParam(GenericParamKind::Lifetime)
160 hir::GenericParamKind::Const { .. } => Target::GenericParam(GenericParamKind::Const),