pub(crate) struct ObsoleteVisiblePrivateTypesVisitor<'a, 'tcx> {
pub(crate) tcx: TyCtxt<'tcx>,
pub(crate) access_levels: &'a AccessLevels,
pub(crate) in_variant: bool,
pub(crate) old_error_set: HirIdSet,
}
Expand description
Obsolete visitors for checking for private items in public interfaces. These visitors are supposed to be kept in frozen state and produce an “old error node set”. For backward compatibility the new visitor reports warnings instead of hard errors when the erroneous node is not in this old set.
Fields
tcx: TyCtxt<'tcx>
access_levels: &'a AccessLevels
in_variant: bool
old_error_set: HirIdSet
Implementations
sourceimpl<'a, 'tcx> ObsoleteVisiblePrivateTypesVisitor<'a, 'tcx>
impl<'a, 'tcx> ObsoleteVisiblePrivateTypesVisitor<'a, 'tcx>
pub(crate) fn path_is_private_type(&self, path: &Path<'_>) -> bool
pub(crate) fn trait_is_public(&self, trait_id: LocalDefId) -> bool
pub(crate) fn check_generic_bound(&mut self, bound: &GenericBound<'_>)
pub(crate) fn item_is_public(&self, def_id: LocalDefId) -> bool
Trait Implementations
sourceimpl<'a, 'tcx> Visitor<'tcx> for ObsoleteVisiblePrivateTypesVisitor<'a, 'tcx>
impl<'a, 'tcx> Visitor<'tcx> for ObsoleteVisiblePrivateTypesVisitor<'a, 'tcx>
sourcefn nested_visit_map(&mut self) -> Self::Map
fn nested_visit_map(&mut self) -> Self::Map
We want to visit items in the context of their containing module and so forth, so supply a crate for doing a deep walk.
type NestedFilter = All
type NestedFilter = All
Override this type to control which nested HIR are visited; see
NestedFilter
for details. If you override this type, you
must also override nested_visit_map
. Read moresourcefn visit_item(&mut self, item: &'tcx Item<'tcx>)
fn visit_item(&mut self, item: &'tcx Item<'tcx>)
Visits the top-level item and (optionally) nested items / impl items. See
visit_nested_item
for details. Read morefn visit_generics(&mut self, generics: &'tcx Generics<'tcx>)
fn visit_foreign_item(&mut self, item: &'tcx ForeignItem<'tcx>)
fn visit_ty(&mut self, t: &'tcx Ty<'tcx>)
fn visit_variant(&mut self, v: &'tcx Variant<'tcx>)
fn visit_field_def(&mut self, s: &'tcx FieldDef<'tcx>)
fn visit_block(&mut self, _: &'tcx Block<'tcx>)
fn visit_expr(&mut self, _: &'tcx Expr<'tcx>)
type Map = <Self::NestedFilter as NestedFilter<'v>>::Map
sourcefn visit_nested_item(&mut self, id: ItemId)
fn visit_nested_item(&mut self, id: ItemId)
Invoked when a nested item is encountered. By default, when
Self::NestedFilter
is nested_filter::None
, this method does
nothing. You probably don’t want to override this method –
instead, override Self::NestedFilter
or use the “shallow” or
“deep” visit patterns described on
itemlikevisit::ItemLikeVisitor
. The only reason to override
this method is if you want a nested pattern but cannot supply a
Map
; see nested_visit_map
for advice. Read moresourcefn visit_nested_trait_item(&mut self, id: TraitItemId)
fn visit_nested_trait_item(&mut self, id: TraitItemId)
Like
visit_nested_item()
, but for trait items. See
visit_nested_item()
for advice on when to override this
method. Read moresourcefn visit_nested_impl_item(&mut self, id: ImplItemId)
fn visit_nested_impl_item(&mut self, id: ImplItemId)
Like
visit_nested_item()
, but for impl items. See
visit_nested_item()
for advice on when to override this
method. Read moresourcefn visit_nested_foreign_item(&mut self, id: ForeignItemId)
fn visit_nested_foreign_item(&mut self, id: ForeignItemId)
Like
visit_nested_item()
, but for foreign items. See
visit_nested_item()
for advice on when to override this
method. Read moresourcefn visit_nested_body(&mut self, id: BodyId)
fn visit_nested_body(&mut self, id: BodyId)
Invoked to visit the body of a function, method or closure. Like
visit_nested_item
, does nothing by default unless you override
Self::NestedFilter
. Read morefn visit_param(&mut self, param: &'v Param<'v>)
fn visit_body(&mut self, b: &'v Body<'v>)
fn visit_id(&mut self, _hir_id: HirId)
fn visit_name(&mut self, _name: Symbol)
fn visit_ident(&mut self, ident: Ident)
fn visit_mod(&mut self, m: &'v Mod<'v>, _s: Span, n: HirId)
fn visit_local(&mut self, l: &'v Local<'v>)
fn visit_stmt(&mut self, s: &'v Stmt<'v>)
fn visit_arm(&mut self, a: &'v Arm<'v>)
fn visit_pat(&mut self, p: &'v Pat<'v>)
fn visit_pat_field(&mut self, f: &'v PatField<'v>)
fn visit_array_length(&mut self, len: &'v ArrayLen)
fn visit_anon_const(&mut self, c: &'v AnonConst)
fn visit_let_expr(&mut self, lex: &'v Let<'v>)
fn visit_expr_field(&mut self, field: &'v ExprField<'v>)
fn visit_generic_param(&mut self, p: &'v GenericParam<'v>)
fn visit_const_param_default(&mut self, _param: HirId, ct: &'v AnonConst)
fn visit_where_predicate(&mut self, predicate: &'v WherePredicate<'v>)
fn visit_fn_decl(&mut self, fd: &'v FnDecl<'v>)
fn visit_fn(
&mut self,
fk: FnKind<'v>,
fd: &'v FnDecl<'v>,
b: BodyId,
Span,
id: HirId
)
fn visit_use(&mut self, path: &'v Path<'v>, hir_id: HirId)
fn visit_trait_item(&mut self, ti: &'v TraitItem<'v>)
fn visit_trait_item_ref(&mut self, ii: &'v TraitItemRef)
fn visit_impl_item(&mut self, ii: &'v ImplItem<'v>)
fn visit_foreign_item_ref(&mut self, ii: &'v ForeignItemRef)
fn visit_impl_item_ref(&mut self, ii: &'v ImplItemRef)
fn visit_trait_ref(&mut self, t: &'v TraitRef<'v>)
fn visit_param_bound(&mut self, bounds: &'v GenericBound<'v>)
fn visit_poly_trait_ref(&mut self, t: &'v PolyTraitRef<'v>)
fn visit_variant_data(&mut self, s: &'v VariantData<'v>)
fn visit_enum_def(&mut self, enum_definition: &'v EnumDef<'v>, item_id: HirId)
fn visit_label(&mut self, label: &'v Label)
fn visit_infer(&mut self, inf: &'v InferArg)
fn visit_generic_arg(&mut self, generic_arg: &'v GenericArg<'v>)
fn visit_lifetime(&mut self, lifetime: &'v Lifetime)
fn visit_qpath(&mut self, qpath: &'v QPath<'v>, id: HirId, _span: Span)
fn visit_path(&mut self, path: &'v Path<'v>, _id: HirId)
fn visit_path_segment(&mut self, path_segment: &'v PathSegment<'v>)
fn visit_generic_args(&mut self, generic_args: &'v GenericArgs<'v>)
fn visit_assoc_type_binding(&mut self, type_binding: &'v TypeBinding<'v>)
fn visit_attribute(&mut self, _attr: &'v Attribute)
fn visit_associated_item_kind(&mut self, kind: &'v AssocItemKind)
fn visit_defaultness(&mut self, defaultness: &'v Defaultness)
fn visit_inline_asm(&mut self, asm: &'v InlineAsm<'v>, id: HirId)
Auto Trait Implementations
impl<'a, 'tcx> !RefUnwindSafe for ObsoleteVisiblePrivateTypesVisitor<'a, 'tcx>
impl<'a, 'tcx> !Send for ObsoleteVisiblePrivateTypesVisitor<'a, 'tcx>
impl<'a, 'tcx> !Sync for ObsoleteVisiblePrivateTypesVisitor<'a, 'tcx>
impl<'a, 'tcx> Unpin for ObsoleteVisiblePrivateTypesVisitor<'a, 'tcx>
impl<'a, 'tcx> !UnwindSafe for ObsoleteVisiblePrivateTypesVisitor<'a, 'tcx>
Blanket Implementations
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Layout
Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...)
attributes. Please see the Rust Reference’s “Type Layout” chapter for details on type layout guarantees.
Size: 80 bytes