@@ -2,8 +2,6 @@ use rustc_hir::{def::DefKind, Body, Item, ItemKind, Node, Path, QPath, TyKind};
2
2
use rustc_span:: def_id:: { DefId , LOCAL_CRATE } ;
3
3
use rustc_span:: { sym, symbol:: kw, ExpnKind , MacroKind } ;
4
4
5
- use smallvec:: { smallvec, SmallVec } ;
6
-
7
5
use crate :: lints:: { NonLocalDefinitionsCargoUpdateNote , NonLocalDefinitionsDiag } ;
8
6
use crate :: { LateContext , LateLintPass , LintContext } ;
9
7
@@ -113,25 +111,25 @@ impl<'tcx> LateLintPass<'tcx> for NonLocalDefinitions {
113
111
// is using local items and so we don't lint on it.
114
112
115
113
// We also ignore anon-const in item by including the anon-const
116
- // parent as well; and since it's quite uncommon, we use smallvec
117
- // to avoid unnecessary heap allocations.
118
- let local_parents: SmallVec < [ DefId ; 1 ] > = if parent_def_kind == DefKind :: Const
114
+ // parent as well.
115
+ let parent_parent = if parent_def_kind == DefKind :: Const
119
116
&& parent_opt_item_name == Some ( kw:: Underscore )
120
117
{
121
- smallvec ! [ parent , cx. tcx. parent( parent) ]
118
+ Some ( cx. tcx . parent ( parent) )
122
119
} else {
123
- smallvec ! [ parent ]
120
+ None
124
121
} ;
125
122
126
123
let self_ty_has_local_parent = match impl_. self_ty . kind {
127
124
TyKind :: Path ( QPath :: Resolved ( _, ty_path) ) => {
128
- path_has_local_parent ( ty_path, cx, & * local_parents )
125
+ path_has_local_parent ( ty_path, cx, parent , parent_parent )
129
126
}
130
127
TyKind :: TraitObject ( [ principle_poly_trait_ref, ..] , _, _) => {
131
128
path_has_local_parent (
132
129
principle_poly_trait_ref. trait_ref . path ,
133
130
cx,
134
- & * local_parents,
131
+ parent,
132
+ parent_parent,
135
133
)
136
134
}
137
135
TyKind :: TraitObject ( [ ] , _, _)
@@ -153,7 +151,7 @@ impl<'tcx> LateLintPass<'tcx> for NonLocalDefinitions {
153
151
154
152
let of_trait_has_local_parent = impl_
155
153
. of_trait
156
- . map ( |of_trait| path_has_local_parent ( of_trait. path , cx, & * local_parents ) )
154
+ . map ( |of_trait| path_has_local_parent ( of_trait. path , cx, parent , parent_parent ) )
157
155
. unwrap_or ( false ) ;
158
156
159
157
// If none of them have a local parent (LOGICAL NOR) this means that
@@ -217,6 +215,14 @@ impl<'tcx> LateLintPass<'tcx> for NonLocalDefinitions {
217
215
/// std::convert::PartialEq<Foo<Bar>>
218
216
/// ^^^^^^^^^^^^^^^^^^^^^^^
219
217
/// ```
220
- fn path_has_local_parent ( path : & Path < ' _ > , cx : & LateContext < ' _ > , local_parents : & [ DefId ] ) -> bool {
221
- path. res . opt_def_id ( ) . is_some_and ( |did| local_parents. contains ( & cx. tcx . parent ( did) ) )
218
+ fn path_has_local_parent (
219
+ path : & Path < ' _ > ,
220
+ cx : & LateContext < ' _ > ,
221
+ impl_parent : DefId ,
222
+ impl_parent_parent : Option < DefId > ,
223
+ ) -> bool {
224
+ path. res . opt_def_id ( ) . is_some_and ( |did| {
225
+ let res_parent = cx. tcx . parent ( did) ;
226
+ res_parent == impl_parent || Some ( res_parent) == impl_parent_parent
227
+ } )
222
228
}
0 commit comments