Struct rustc_middle::middle::stability::Index

pub struct Index {
    pub stab_map: LocalDefIdMap<Stability>,
    pub const_stab_map: LocalDefIdMap<ConstStability>,
    pub default_body_stab_map: LocalDefIdMap<DefaultBodyStability>,
    pub depr_map: LocalDefIdMap<DeprecationEntry>,
    pub implications: UnordMap<Symbol, Symbol>,
}

A stability index, giving the stability level for items and methods.

Fields

stab_map: LocalDefIdMap<Stability>

This is mostly a cache, except the stabilities of local items are filled by the annotator.

const_stab_map: LocalDefIdMap<ConstStability>

default_body_stab_map: LocalDefIdMap<DefaultBodyStability>

depr_map: LocalDefIdMap<DeprecationEntry>

implications: UnordMap<Symbol, Symbol>

Mapping from feature name to feature name based on the implied_by field of #[unstable] attributes. If a #[unstable(feature = "implier", implied_by = "impliee")] attribute exists, then this map will have a impliee -> implier entry.

This mapping is necessary unless both the #[stable] and #[unstable] attributes should specify their implications (both implies and implied_by). If only one of the two attributes do (as in the current implementation, implied_by in #[unstable]), then this mapping is necessary for diagnostics. When a “unnecessary feature attribute” error is reported, only the #[stable] attribute information is available, so the map is necessary to know that the feature implies another feature. If it were reversed, and the #[stable] attribute had an implies meta item, then a map would be necessary when avoiding a “use of unstable feature” error for a feature that was implied.

Implementations

impl Index

pub fn local_stability(&self, def_id: LocalDefId) -> Option<Stability>

pub fn local_const_stability( &self, def_id: LocalDefId, ) -> Option<ConstStability>

pub fn local_default_body_stability( &self, def_id: LocalDefId, ) -> Option<DefaultBodyStability>

pub fn local_deprecation_entry( &self, def_id: LocalDefId, ) -> Option<DeprecationEntry>

Trait Implementations

impl Debug for Index

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

Formats the value using the given formatter.

impl<'__ctx> HashStable<StableHashingContext<'__ctx>> for Index

fn hash_stable( &self, __hcx: &mut StableHashingContext<'__ctx>, __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: 160 bytes