Struct rustc_middle::middle::privacy::EffectiveVisibilities

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_eff_vis(
    &mut self,
    def_id: LocalDefId,
    eff_vis: &EffectiveVisibility,
    tree: impl DefIdTree
)

pub fn set_public_at_level(
    &mut self,
    id: LocalDefId,
    lazy_private_vis: impl FnOnce() -> Visibility,
    level: Level
)

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

pub fn update<T: IntoDefIdTree>(
 &mut self,
 id: Id,
 nominal_vis: Visibility,
 lazy_private_vis: impl FnOnce(T) -> (Visibility, T),
 inherited_effective_vis: EffectiveVisibility,
 level: Level,
 into_tree: T
) -> bool

Trait Implementations§

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

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

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

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

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

Returns a copy of the value. Read more

1.0.0 · source§

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

Performs copy-assignment from source. Read more

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

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

Formats the value using the given formatter. Read more

impl<Id> Default for EffectiveVisibilities<Id>

fn default() -> Self

Returns the “default value” for a type. Read more

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

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

Auto Trait Implementations§

impl<Id> RefUnwindSafe for EffectiveVisibilities<Id>where
Id: RefUnwindSafe,

impl<Id> Send for EffectiveVisibilities<Id>where
Id: Send,

impl<Id> Sync for EffectiveVisibilities<Id>where
Id: Sync,

impl<Id> Unpin for EffectiveVisibilities<Id>where
Id: Unpin,

impl<Id> UnwindSafe for EffectiveVisibilities<Id>where
Id: UnwindSafe,

Blanket Implementations§

impl<T> Any for Twhere
T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for Twhere
T: ?Sized,

const: unstable · source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for Twhere
T: ?Sized,

const: unstable · source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<Tcx, T> DepNodeParams<Tcx> for Twhere
Tcx: DepContext,
T: for<'a> HashStable<StableHashingContext<'a>> + Debug,

default fn fingerprint_style() -> FingerprintStyle

default fn to_fingerprint(&self, tcx: Tcx) -> Fingerprint

This method turns the parameters of a DepNodeConstructor into an opaque Fingerprint to be used in DepNode. Not all DepNodeParams support being turned into a Fingerprint (they don’t need to if the corresponding DepNode is anonymous). Read more

default fn to_debug_str(&self, _: Tcx) -> String

default fn recover(
_: Tcx,
_: &DepNode<<Tcx as DepContext>::DepKind>
) -> Option<T>

This method tries to recover the query key from the given DepNode, something which is needed when forcing DepNodes during red-green evaluation. The query system will only call this method if fingerprint_style() is not FingerprintStyle::Opaque. It is always valid to return None here, in which case incremental compilation will treat the query as having changed instead of forcing it. Read more

impl<T> From<T> for T

const: unstable · source§

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, R> InternIteratorElement<T, R> for T

type Output = R

fn intern_with<I, F>(iter: I, f: F) -> <T as InternIteratorElement<T, R>>::Outputwhere
I: Iterator<Item = T>,
F: FnOnce(&[T]) -> R,

impl<T, U> Into for Twhere
U: From<T>,

const: unstable · source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T> MaybeResult<T> for T

type Error = !

fn from(_: Result<T, <T as MaybeResult<T>>::Error>) -> T

fn to_result(self) -> Result<T, <T as MaybeResult<T>>::Error>

impl<T> ToOwned for Twhere
T: Clone,

type Owned = T

The resulting type after obtaining ownership.

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more

impl<'tcx, T> ToPredicate<'tcx, T> for T

fn to_predicate(self, _tcx: TyCtxt<'tcx>) -> T

impl<T, U> TryFrom for Twhere
U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

const: unstable · source§

fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>

Performs the conversion.

impl<T, U> TryInto for Twhere
U: TryFrom<T>,

type Error = >::Error

The type returned in the event of a conversion error.

const: unstable · source§

fn try_into(self) -> Result<U, >::Error>

Performs the conversion.

impl<Tcx, T> Value<Tcx> for Twhere
Tcx: DepContext,