Skip to content

Commit 35cbc96

Browse files
smoeliussmoelius
committed
DisallowedPath -> ConfPath; REPLACEMENTS_ALLOWED -> REPLACEABLE 
1 parent 4180830 commit 35cbc96

File tree

8 files changed

+68
-70
lines changed

8 files changed

+68
-70
lines changed

‎clippy_config/src/conf.rs‎

Lines changed: 20 additions & 21 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
use crate::ClippyConfiguration;
22
use crate::types::{
3-
DisallowedPath, DisallowedPathWithoutReplacement, InherentImplLintScope, MacroMatcher, MatchLintBehaviour,
3+
ConfPath, ConfPathWithoutReplacement, InherentImplLintScope, MacroMatcher, MatchLintBehaviour,
44
PubUnderscoreFieldsBehaviour, Rename, SourceItemOrdering, SourceItemOrderingCategory,
55
SourceItemOrderingModuleItemGroupings, SourceItemOrderingModuleItemKind, SourceItemOrderingTraitAssocItemKind,
66
SourceItemOrderingTraitAssocItemKinds, SourceItemOrderingWithinModuleItemGroupings,
@@ -191,17 +191,16 @@ macro_rules! deserialize {
191191
(value, value_span)
192192
}};
193193

194-
($map:expr, $ty:ty, $errors:expr, $file:expr, $replacements_allowed:expr) => {{
194+
($map:expr, $ty:ty, $errors:expr, $file:expr, $replaceable:expr) => {{
195195
let array = $map.next_value::<Vec<toml::Spanned<toml::Value>>>()?;
196-
let mut disallowed_paths_span = Range {
196+
let mut conf_paths_span = Range {
197197
start: usize::MAX,
198198
end: usize::MIN,
199199
};
200-
let mut disallowed_paths = Vec::new();
200+
let mut conf_paths = Vec::new();
201201
for raw_value in array {
202202
let value_span = raw_value.span();
203-
let mut disallowed_path = match DisallowedPath::<$replacements_allowed>::deserialize(raw_value.into_inner())
204-
{
203+
let mut conf_path = match ConfPath::<$replaceable>::deserialize(raw_value.into_inner()) {
205204
Err(e) => {
206205
$errors.push(ConfError::spanned(
207206
$file,
@@ -211,13 +210,13 @@ macro_rules! deserialize {
211210
));
212211
continue;
213212
},
214-
Ok(disallowed_path) => disallowed_path,
213+
Ok(conf_path) => conf_path,
215214
};
216-
disallowed_paths_span = union(&disallowed_paths_span, &value_span);
217-
disallowed_path.set_span(span_from_toml_range($file, value_span));
218-
disallowed_paths.push(disallowed_path);
215+
conf_paths_span = union(&conf_paths_span, &value_span);
216+
conf_path.set_span(span_from_toml_range($file, value_span));
217+
conf_paths.push(conf_path);
219218
}
220-
(disallowed_paths, disallowed_paths_span)
219+
(conf_paths, conf_paths_span)
221220
}};
222221
}
223222

@@ -226,7 +225,7 @@ macro_rules! define_Conf {
226225
$(#[doc = $doc:literal])+
227226
$(#[conf_deprecated($dep:literal, $new_conf:ident)])?
228227
$(#[default_text = $default_text:expr])?
229-
$(#[disallowed_paths_allow_replacements = $replacements_allowed:expr])?
228+
$(#[conf_paths_allow_replacements = $replaceable:expr])?
230229
$(#[lints($($for_lints:ident),* $(,)?)])?
231230
$name:ident: $ty:ty = $default:expr,
232231
)*) => {
@@ -284,7 +283,7 @@ macro_rules! define_Conf {
284283
// Is this a deprecated field, i.e., is `$dep` set? If so, push a warning.
285284
$(warnings.push(ConfError::spanned(self.0, format!("deprecated field `{}`. {}", name.get_ref(), $dep), None, name.span()));)?
286285
let (value, value_span) =
287-
deserialize!(map, $ty, errors, self.0 $(, $replacements_allowed)?);
286+
deserialize!(map, $ty, errors, self.0 $(, $replaceable)?);
288287
// Was this field set previously?
289288
if $name.is_some() {
290289
errors.push(ConfError::spanned(self.0, format!("duplicate field `{}`", name.get_ref()), None, name.span()));
@@ -533,9 +532,9 @@ define_Conf! {
533532
)]
534533
avoid_breaking_exported_api: bool = true,
535534
/// The list of types which may not be held across an await point.
536-
#[disallowed_paths_allow_replacements = false]
535+
#[conf_paths_allow_replacements = false]
537536
#[lints(await_holding_invalid_type)]
538-
await_holding_invalid_types: Vec<DisallowedPathWithoutReplacement> = Vec::new(),
537+
await_holding_invalid_types: Vec<ConfPathWithoutReplacement> = Vec::new(),
539538
/// DEPRECATED LINT: BLACKLISTED_NAME.
540539
///
541540
/// Use the Disallowed Names lint instead
@@ -589,9 +588,9 @@ define_Conf! {
589588
/// - `replacement` (optional): suggested alternative macro
590589
/// - `allow-invalid` (optional, `false` by default): when set to `true`, it will ignore this entry
591590
/// if the path doesn't exist, instead of emitting an error
592-
#[disallowed_paths_allow_replacements = true]
591+
#[conf_paths_allow_replacements = true]
593592
#[lints(disallowed_macros)]
594-
disallowed_macros: Vec<DisallowedPath> = Vec::new(),
593+
disallowed_macros: Vec<ConfPath> = Vec::new(),
595594
/// The list of disallowed methods, written as fully qualified paths.
596595
///
597596
/// **Fields:**
@@ -600,9 +599,9 @@ define_Conf! {
600599
/// - `replacement` (optional): suggested alternative method
601600
/// - `allow-invalid` (optional, `false` by default): when set to `true`, it will ignore this entry
602601
/// if the path doesn't exist, instead of emitting an error
603-
#[disallowed_paths_allow_replacements = true]
602+
#[conf_paths_allow_replacements = true]
604603
#[lints(disallowed_methods)]
605-
disallowed_methods: Vec<DisallowedPath> = Vec::new(),
604+
disallowed_methods: Vec<ConfPath> = Vec::new(),
606605
/// The list of disallowed names to lint about. NB: `bar` is not here since it has legitimate uses. The value
607606
/// `".."` can be used as part of the list to indicate that the configured values should be appended to the
608607
/// default configuration of Clippy. By default, any configuration will replace the default value.
@@ -616,9 +615,9 @@ define_Conf! {
616615
/// - `replacement` (optional): suggested alternative type
617616
/// - `allow-invalid` (optional, `false` by default): when set to `true`, it will ignore this entry
618617
/// if the path doesn't exist, instead of emitting an error
619-
#[disallowed_paths_allow_replacements = true]
618+
#[conf_paths_allow_replacements = true]
620619
#[lints(disallowed_types)]
621-
disallowed_types: Vec<DisallowedPath> = Vec::new(),
620+
disallowed_types: Vec<ConfPath> = Vec::new(),
622621
/// The list of words this lint should not consider as identifiers needing ticks. The value
623622
/// `".."` can be used as part of the list to indicate, that the configured values should be appended to the
624623
/// default configuration of Clippy. By default, any configuration will replace the default value. For example:

‎clippy_config/src/types.rs‎

Lines changed: 23 additions & 24 deletions
Original file line numberDiff line numberDiff line change
@@ -18,10 +18,10 @@ pub struct Rename {
1818
pub rename: String,
1919
}
2020

21-
pub type DisallowedPathWithoutReplacement = DisallowedPath<false>;
21+
pub type ConfPathWithoutReplacement = ConfPath<false>;
2222

2323
#[derive(Debug, Serialize)]
24-
pub struct DisallowedPath<const REPLACEMENT_ALLOWED: bool = true> {
24+
pub struct ConfPath<const REPLACEABLE: bool = true> {
2525
path: String,
2626
reason: Option<String>,
2727
replacement: Option<String>,
@@ -31,20 +31,20 @@ pub struct DisallowedPath<const REPLACEMENT_ALLOWED: bool = true> {
3131
/// This could be useful when conditional compilation is used, or when a clippy.toml file is
3232
/// shared among multiple projects.
3333
allow_invalid: bool,
34-
/// The span of the `DisallowedPath`.
34+
/// The span of the `ConfPath`.
3535
///
3636
/// Used for diagnostics.
3737
#[serde(skip_serializing)]
3838
span: Span,
3939
}
4040

41-
impl<'de, const REPLACEMENT_ALLOWED: bool> Deserialize<'de> for DisallowedPath<REPLACEMENT_ALLOWED> {
41+
impl<'de, const REPLACEABLE: bool> Deserialize<'de> for ConfPath<REPLACEABLE> {
4242
fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>
4343
where
4444
D: Deserializer<'de>,
4545
{
46-
let enum_ = DisallowedPathEnum::deserialize(deserializer)?;
47-
if !REPLACEMENT_ALLOWED && enum_.replacement().is_some() {
46+
let enum_ = ConfPathEnum::deserialize(deserializer)?;
47+
if !REPLACEABLE && enum_.replacement().is_some() {
4848
return Err(de::Error::custom("replacement not allowed for this configuration"));
4949
}
5050
Ok(Self {
@@ -57,11 +57,11 @@ impl<'de, const REPLACEMENT_ALLOWED: bool> Deserialize<'de> for DisallowedPath<R
5757
}
5858
}
5959

60-
// `DisallowedPathEnum` is an implementation detail to enable the `Deserialize` implementation just
61-
// above. `DisallowedPathEnum` is not meant to be used outside of this file.
60+
// `ConfPathEnum` is an implementation detail to enable the `Deserialize` implementation just above.
61+
// `ConfPathEnum` is not meant to be used outside of this file.
6262
#[derive(Debug, Deserialize, Serialize)]
6363
#[serde(untagged, deny_unknown_fields)]
64-
enum DisallowedPathEnum {
64+
enum ConfPathEnum {
6565
Simple(String),
6666
WithReason {
6767
path: String,
@@ -72,7 +72,7 @@ enum DisallowedPathEnum {
7272
},
7373
}
7474

75-
impl<const REPLACEMENT_ALLOWED: bool> DisallowedPath<REPLACEMENT_ALLOWED> {
75+
impl<const REPLACEABLE: bool> ConfPath<REPLACEABLE> {
7676
pub fn path(&self) -> &str {
7777
&self.path
7878
}
@@ -101,7 +101,7 @@ impl<const REPLACEMENT_ALLOWED: bool> DisallowedPath<REPLACEMENT_ALLOWED> {
101101
}
102102
}
103103

104-
impl DisallowedPathEnum {
104+
impl ConfPathEnum {
105105
pub fn path(&self) -> &str {
106106
let (Self::Simple(path) | Self::WithReason { path, .. }) = self;
107107

@@ -132,22 +132,21 @@ impl DisallowedPathEnum {
132132

133133
/// Creates a map of disallowed items to the reason they were disallowed.
134134
#[expect(clippy::type_complexity)]
135-
pub fn create_disallowed_map<const REPLACEMENT_ALLOWED: bool>(
135+
pub fn create_conf_path_map<const REPLACEABLE: bool>(
136136
tcx: TyCtxt<'_>,
137-
disallowed_paths: &'static [DisallowedPath<REPLACEMENT_ALLOWED>],
137+
conf_paths: &'static [ConfPath<REPLACEABLE>],
138138
ns: PathNS,
139139
def_kind_predicate: impl Fn(DefKind) -> bool,
140140
predicate_description: &str,
141141
allow_prim_tys: bool,
142142
) -> (
143-
DefIdMap<(&'static str, &'static DisallowedPath<REPLACEMENT_ALLOWED>)>,
144-
FxHashMap<PrimTy, (&'static str, &'static DisallowedPath<REPLACEMENT_ALLOWED>)>,
143+
DefIdMap<(&'static str, &'static ConfPath<REPLACEABLE>)>,
144+
FxHashMap<PrimTy, (&'static str, &'static ConfPath<REPLACEABLE>)>,
145145
) {
146-
let mut def_ids: DefIdMap<(&'static str, &'static DisallowedPath<REPLACEMENT_ALLOWED>)> = DefIdMap::default();
147-
let mut prim_tys: FxHashMap<PrimTy, (&'static str, &'static DisallowedPath<REPLACEMENT_ALLOWED>)> =
148-
FxHashMap::default();
149-
for disallowed_path in disallowed_paths {
150-
let path = disallowed_path.path();
146+
let mut def_ids: DefIdMap<(&'static str, &ConfPath<REPLACEABLE>)> = DefIdMap::default();
147+
let mut prim_tys: FxHashMap<PrimTy, (&'static str, &ConfPath<REPLACEABLE>)> = FxHashMap::default();
148+
for conf_path in conf_paths {
149+
let path = conf_path.path();
151150
let sym_path: Vec<Symbol> = path.split("::").map(Symbol::intern).collect();
152151
let mut resolutions = lookup_path(tcx, ns, &sym_path);
153152
resolutions.retain(|&def_id| def_kind_predicate(tcx.def_kind(def_id)));
@@ -162,7 +161,7 @@ pub fn create_disallowed_map<const REPLACEMENT_ALLOWED: bool>(
162161

163162
if resolutions.is_empty()
164163
&& prim_ty.is_none()
165-
&& !disallowed_path.allow_invalid
164+
&& !conf_path.allow_invalid
166165
// Don't warn about unloaded crates:
167166
// https://github.com/rust-lang/rust-clippy/pull/14397#issuecomment-2848328221
168167
&& (sym_path.len() < 2 || !find_crates(tcx, sym_path[0]).is_empty())
@@ -179,16 +178,16 @@ pub fn create_disallowed_map<const REPLACEMENT_ALLOWED: bool>(
179178
};
180179
tcx.sess
181180
.dcx()
182-
.struct_span_warn(disallowed_path.span(), message)
181+
.struct_span_warn(conf_path.span(), message)
183182
.with_help("add `allow-invalid = true` to the entry to suppress this warning")
184183
.emit();
185184
}
186185

187186
for def_id in resolutions {
188-
def_ids.insert(def_id, (path, disallowed_path));
187+
def_ids.insert(def_id, (path, conf_path));
189188
}
190189
if let Some(ty) = prim_ty {
191-
prim_tys.insert(ty, (path, disallowed_path));
190+
prim_tys.insert(ty, (path, conf_path));
192191
}
193192
}
194193

‎clippy_lints/src/await_holding_invalid.rs‎

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
use clippy_config::Conf;
2-
use clippy_config::types::{DisallowedPathWithoutReplacement, create_disallowed_map};
2+
use clippy_config::types::{ConfPathWithoutReplacement, create_conf_path_map};
33
use clippy_utils::diagnostics::span_lint_and_then;
44
use clippy_utils::paths::{self, PathNS};
55
use rustc_hir as hir;
@@ -174,12 +174,12 @@ declare_clippy_lint! {
174174
impl_lint_pass!(AwaitHolding => [AWAIT_HOLDING_LOCK, AWAIT_HOLDING_REFCELL_REF, AWAIT_HOLDING_INVALID_TYPE]);
175175

176176
pub struct AwaitHolding {
177-
def_ids: DefIdMap<(&'static str, &'static DisallowedPathWithoutReplacement)>,
177+
def_ids: DefIdMap<(&'static str, &'static ConfPathWithoutReplacement)>,
178178
}
179179

180180
impl AwaitHolding {
181181
pub(crate) fn new(tcx: TyCtxt<'_>, conf: &'static Conf) -> Self {
182-
let (def_ids, _) = create_disallowed_map(
182+
let (def_ids, _) = create_conf_path_map(
183183
tcx,
184184
&conf.await_holding_invalid_types,
185185
PathNS::Type,
@@ -252,8 +252,8 @@ impl AwaitHolding {
252252
);
253253
},
254254
);
255-
} else if let Some(&(path, disallowed_path)) = self.def_ids.get(&adt.did()) {
256-
emit_invalid_type(cx, ty_cause.source_info.span, path, disallowed_path);
255+
} else if let Some(&(path, conf_path)) = self.def_ids.get(&adt.did()) {
256+
emit_invalid_type(cx, ty_cause.source_info.span, path, conf_path);
257257
}
258258
}
259259
}
@@ -264,14 +264,14 @@ fn emit_invalid_type(
264264
cx: &LateContext<'_>,
265265
span: Span,
266266
path: &'static str,
267-
disallowed_path: &'static DisallowedPathWithoutReplacement,
267+
conf_path: &'static ConfPathWithoutReplacement,
268268
) {
269269
span_lint_and_then(
270270
cx,
271271
AWAIT_HOLDING_INVALID_TYPE,
272272
span,
273273
format!("holding a disallowed type across an await point `{path}`"),
274-
disallowed_path.diag_amendment(span),
274+
conf_path.diag_amendment(span),
275275
);
276276
}
277277

‎clippy_lints/src/disallowed_macros.rs‎

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
use clippy_config::Conf;
2-
use clippy_config::types::{DisallowedPath, create_disallowed_map};
2+
use clippy_config::types::{ConfPath, create_conf_path_map};
33
use clippy_utils::diagnostics::{span_lint_and_then, span_lint_hir_and_then};
44
use clippy_utils::macros::macro_backtrace;
55
use clippy_utils::paths::PathNS;
@@ -64,7 +64,7 @@ declare_clippy_lint! {
6464
}
6565

6666
pub struct DisallowedMacros {
67-
disallowed: DefIdMap<(&'static str, &'static DisallowedPath)>,
67+
disallowed: DefIdMap<(&'static str, &'static ConfPath)>,
6868
seen: FxHashSet<ExpnId>,
6969
// Track the most recently seen node that can have a `derive` attribute.
7070
// Needed to use the correct lint level.
@@ -77,7 +77,7 @@ pub struct DisallowedMacros {
7777

7878
impl DisallowedMacros {
7979
pub fn new(tcx: TyCtxt<'_>, conf: &'static Conf, early_macro_cache: AttrStorage) -> Self {
80-
let (disallowed, _) = create_disallowed_map(
80+
let (disallowed, _) = create_conf_path_map(
8181
tcx,
8282
&conf.disallowed_macros,
8383
PathNS::Macro,
@@ -103,9 +103,9 @@ impl DisallowedMacros {
103103
return;
104104
}
105105

106-
if let Some(&(path, disallowed_path)) = self.disallowed.get(&mac.def_id) {
106+
if let Some(&(path, conf_path)) = self.disallowed.get(&mac.def_id) {
107107
let msg = format!("use of a disallowed macro `{path}`");
108-
let add_note = disallowed_path.diag_amendment(mac.span);
108+
let add_note = conf_path.diag_amendment(mac.span);
109109
if matches!(mac.kind, MacroKind::Derive)
110110
&& let Some(derive_src) = derive_src
111111
{

‎clippy_lints/src/disallowed_methods.rs‎

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
use clippy_config::Conf;
2-
use clippy_config::types::{DisallowedPath, create_disallowed_map};
2+
use clippy_config::types::{ConfPath, create_conf_path_map};
33
use clippy_utils::diagnostics::span_lint_and_then;
44
use clippy_utils::paths::PathNS;
55
use rustc_hir::def::{CtorKind, DefKind, Res};
@@ -62,12 +62,12 @@ declare_clippy_lint! {
6262
}
6363

6464
pub struct DisallowedMethods {
65-
disallowed: DefIdMap<(&'static str, &'static DisallowedPath)>,
65+
disallowed: DefIdMap<(&'static str, &'static ConfPath)>,
6666
}
6767

6868
impl DisallowedMethods {
6969
pub fn new(tcx: TyCtxt<'_>, conf: &'static Conf) -> Self {
70-
let (disallowed, _) = create_disallowed_map(
70+
let (disallowed, _) = create_conf_path_map(
7171
tcx,
7272
&conf.disallowed_methods,
7373
PathNS::Value,
@@ -95,13 +95,13 @@ impl<'tcx> LateLintPass<'tcx> for DisallowedMethods {
9595
},
9696
_ => return,
9797
};
98-
if let Some(&(path, disallowed_path)) = self.disallowed.get(&id) {
98+
if let Some(&(path, conf_path)) = self.disallowed.get(&id) {
9999
span_lint_and_then(
100100
cx,
101101
DISALLOWED_METHODS,
102102
span,
103103
format!("use of a disallowed method `{path}`"),
104-
disallowed_path.diag_amendment(span),
104+
conf_path.diag_amendment(span),
105105
);
106106
}
107107
}

0 commit comments

Comments
 (0)