mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Sync the logic for inherent and weak type aliases

Browse Source
This commit is contained in:
Oli Scherer 2023-07-04 16:28:59 +00:00
parent 9088ba9f3e
commit d5c0f4d139
1 changed files with 6 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
compiler/rustc_privacy/src/lib.rs
View File

@ -210,9 +210,6 @@ where
} }
} }
} }
ty::Alias(ty::Weak, alias) => {
self.def_id_visitor.visit_def_id(alias.def_id, "type alias", &ty);
}
ty::Alias(ty::Projection, proj) => { ty::Alias(ty::Projection, proj) => {
if V::SKIP_ASSOC_TYS { if V::SKIP_ASSOC_TYS {
// Visitors searching for minimal visibility/reachability want to // Visitors searching for minimal visibility/reachability want to
@ -225,7 +222,7 @@ where
// This will also visit args if necessary, so we don't need to recurse. // This will also visit args if necessary, so we don't need to recurse.
return self.visit_projection_ty(proj); return self.visit_projection_ty(proj);
} }
ty::Alias(ty::Inherent, data) => { ty::Alias(kind @ (ty::Inherent | ty::Weak), data) => {
if V::SKIP_ASSOC_TYS { if V::SKIP_ASSOC_TYS {
// Visitors searching for minimal visibility/reachability want to // Visitors searching for minimal visibility/reachability want to
// conservatively approximate associated types like `Type::Alias` // conservatively approximate associated types like `Type::Alias`
@ -237,7 +234,11 @@ where
self.def_id_visitor.visit_def_id( self.def_id_visitor.visit_def_id(
data.def_id, data.def_id,
"associated type", match kind {
ty::Inherent => "associated type",
ty::Weak => "type alias",
_ => unreachable!(),
},
&LazyDefPathStr { def_id: data.def_id, tcx }, &LazyDefPathStr { def_id: data.def_id, tcx },
)?; )?;