Struct rustc_privacy::TypePrivacyVisitor
source · pub(crate) struct TypePrivacyVisitor<'tcx> {
pub(crate) tcx: TyCtxt<'tcx>,
pub(crate) maybe_typeck_results: Option<&'tcx TypeckResults<'tcx>>,
pub(crate) current_item: LocalDefId,
pub(crate) span: Span,
}
Expand description
Type privacy visitor, checks types for privacy and reports violations. Both explicitly written types and inferred types of expressions and patterns are checked. Checks are performed on “semantic” types regardless of names and their hygiene.
Fields§
§tcx: TyCtxt<'tcx>
§maybe_typeck_results: Option<&'tcx TypeckResults<'tcx>>
§current_item: LocalDefId
§span: Span
Implementations§
source§impl<'tcx> TypePrivacyVisitor<'tcx>
impl<'tcx> TypePrivacyVisitor<'tcx>
sourcepub(crate) fn typeck_results(&self) -> &'tcx TypeckResults<'tcx>
pub(crate) fn typeck_results(&self) -> &'tcx TypeckResults<'tcx>
Gets the type-checking results for the current body.
As this will ICE if called outside bodies, only call when working with
Expr
or Pat
nodes (they are guaranteed to be found only in bodies).
pub(crate) fn item_is_accessible(&self, did: DefId) -> bool
pub(crate) fn check_expr_pat_type(&mut self, id: HirId, span: Span) -> bool
pub(crate) fn check_def_id( &mut self, def_id: DefId, kind: &str, descr: &dyn Display ) -> bool
Trait Implementations§
source§impl<'tcx> DefIdVisitor<'tcx> for TypePrivacyVisitor<'tcx>
impl<'tcx> DefIdVisitor<'tcx> for TypePrivacyVisitor<'tcx>
fn tcx(&self) -> TyCtxt<'tcx>
fn visit_def_id( &mut self, def_id: DefId, kind: &str, descr: &dyn Display ) -> ControlFlow<Self::BreakTy>
type BreakTy = ()
const SHALLOW: bool = false
const SKIP_ASSOC_TYS: bool = false
source§fn skeleton(&mut self) -> DefIdVisitorSkeleton<'_, 'tcx, Self>
fn skeleton(&mut self) -> DefIdVisitorSkeleton<'_, 'tcx, Self>
fn visit( &mut self, ty_fragment: impl TypeVisitable<TyCtxt<'tcx>> ) -> ControlFlow<Self::BreakTy>
fn visit_trait( &mut self, trait_ref: TraitRef<'tcx> ) -> ControlFlow<Self::BreakTy>
fn visit_projection_ty( &mut self, projection: AliasTy<'tcx> ) -> ControlFlow<Self::BreakTy>
fn visit_predicates( &mut self, predicates: GenericPredicates<'tcx> ) -> ControlFlow<Self::BreakTy>
fn visit_clauses( &mut self, clauses: &[(Clause<'tcx>, Span)] ) -> ControlFlow<Self::BreakTy>
source§impl<'tcx> Visitor<'tcx> for TypePrivacyVisitor<'tcx>
impl<'tcx> Visitor<'tcx> for TypePrivacyVisitor<'tcx>
source§fn 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
NestedFilter
for details. If you override this type, you
must also override nested_visit_map
. Read morefn visit_mod(&mut self, _m: &'tcx Mod<'tcx>, _s: Span, _n: HirId)
source§fn visit_nested_body(&mut self, body: BodyId)
fn visit_nested_body(&mut self, body: BodyId)
visit_nested_item
, does nothing by default unless you override
Self::NestedFilter
.fn visit_generic_arg(&mut self, generic_arg: &'tcx GenericArg<'tcx>)
fn visit_ty(&mut self, hir_ty: &'tcx Ty<'tcx>)
fn visit_infer(&mut self, inf: &'tcx InferArg)
fn visit_trait_ref(&mut self, trait_ref: &'tcx TraitRef<'tcx>)
fn visit_expr(&mut self, expr: &'tcx Expr<'tcx>)
fn visit_qpath(&mut self, qpath: &'tcx QPath<'tcx>, id: HirId, span: Span)
fn visit_pat(&mut self, pattern: &'tcx Pat<'tcx>)
fn visit_local(&mut self, local: &'tcx Local<'tcx>)
source§fn visit_item(&mut self, item: &'tcx Item<'tcx>)
fn visit_item(&mut self, item: &'tcx Item<'tcx>)
visit_nested_item
for details.type Map = <Self::NestedFilter as NestedFilter<'v>>::Map
source§fn visit_nested_item(&mut self, id: ItemId)
fn visit_nested_item(&mut self, id: ItemId)
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 at
rustc_hir::intravisit
. 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.source§fn visit_nested_trait_item(&mut self, id: TraitItemId)
fn visit_nested_trait_item(&mut self, id: TraitItemId)
visit_nested_item()
, but for trait items. See
visit_nested_item()
for advice on when to override this
method.source§fn visit_nested_impl_item(&mut self, id: ImplItemId)
fn visit_nested_impl_item(&mut self, id: ImplItemId)
visit_nested_item()
, but for impl items. See
visit_nested_item()
for advice on when to override this
method.source§fn visit_nested_foreign_item(&mut self, id: ForeignItemId)
fn visit_nested_foreign_item(&mut self, id: ForeignItemId)
visit_nested_item()
, but for foreign items. See
visit_nested_item()
for advice on when to override this
method.fn 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_foreign_item(&mut self, i: &'v ForeignItem<'v>)
fn visit_block(&mut self, b: &'v Block<'v>)
fn visit_stmt(&mut self, s: &'v Stmt<'v>)
fn visit_arm(&mut self, a: &'v Arm<'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_inline_const(&mut self, c: &'v ConstBlock)
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_generics(&mut self, g: &'v Generics<'v>)
fn visit_where_predicate(&mut self, predicate: &'v WherePredicate<'v>)
fn visit_fn_ret_ty(&mut self, ret_ty: &'v FnRetTy<'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: LocalDefId )
fn visit_use( &mut self, path: &'v Path<'v, SmallVec<[Res<HirId>; 3]>>, 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_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_field_def(&mut self, s: &'v FieldDef<'v>)
fn visit_enum_def(&mut self, enum_definition: &'v EnumDef<'v>, item_id: HirId)
fn visit_variant(&mut self, v: &'v Variant<'v>)
fn visit_label(&mut self, label: &'v Label)
fn visit_lifetime(&mut self, lifetime: &'v Lifetime)
fn visit_path(&mut self, path: &Path<'v, Res<HirId>>, _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<'tcx> !RefUnwindSafe for TypePrivacyVisitor<'tcx>
impl<'tcx> !Send for TypePrivacyVisitor<'tcx>
impl<'tcx> !Sync for TypePrivacyVisitor<'tcx>
impl<'tcx> Unpin for TypePrivacyVisitor<'tcx>
impl<'tcx> !UnwindSafe for TypePrivacyVisitor<'tcx>
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
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: 32 bytes