Struct EffectiveVisibilities

pub struct EffectiveVisibilities<Id = LocalDefId> {
    map: FxIndexMap<Id, EffectiveVisibility>,
}

Holds a map of effective visibilities for reachable HIR nodes.

Fields

map: FxIndexMap<Id, EffectiveVisibility>

Implementations

impl EffectiveVisibilities

pub fn is_public_at_level(&self, id: LocalDefId, level: Level) -> bool

pub fn is_reachable(&self, id: LocalDefId) -> bool

See Level::Reachable.

pub fn is_exported(&self, id: LocalDefId) -> bool

See Level::Reexported.

pub fn is_directly_public(&self, id: LocalDefId) -> bool

See Level::Direct.

pub fn public_at_level(&self, id: LocalDefId) -> Option<Level>

pub fn update_root(&mut self)

pub fn update_eff_vis( &mut self, def_id: LocalDefId, eff_vis: &EffectiveVisibility, tcx: TyCtxt<'_>, )

pub fn check_invariants(&self, tcx: TyCtxt<'_>)

impl<Id: Eq + Hash> EffectiveVisibilities<Id>

pub fn iter(&self) -> impl Iterator<Item = (&Id, &EffectiveVisibility)>

pub fn effective_vis(&self, id: Id) -> Option<&EffectiveVisibility>

pub fn effective_vis_or_private( &mut self, id: Id, lazy_private_vis: impl FnOnce() -> Visibility, ) -> &EffectiveVisibility

pub fn update( &mut self, id: Id, max_vis: Option<Visibility>, lazy_private_vis: impl FnOnce() -> Visibility, inherited_effective_vis: EffectiveVisibility, level: Level, tcx: TyCtxt<'_>, ) -> bool

Trait Implementations

impl<'tcx> ArenaAllocatable<'tcx> for EffectiveVisibilities

fn allocate_on(self, arena: &'tcx Arena<'tcx>) -> &'tcx mut Self

fn allocate_from_iter( arena: &'tcx Arena<'tcx>, iter: impl IntoIterator<Item = Self>, ) -> &'tcx mut [Self]

impl<Id: Clone> Clone for EffectiveVisibilities<Id>

fn clone(&self) -> EffectiveVisibilities<Id>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<Id: Debug> Debug for EffectiveVisibilities<Id>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<Id> Default for EffectiveVisibilities<Id>

fn default() -> Self

Returns the “default value” for a type.

impl<'a> HashStable<StableHashingContext<'a>> for EffectiveVisibilities

fn hash_stable( &self, hcx: &mut StableHashingContext<'a>, hasher: &mut StableHasher, )

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: 56 bytes