Struct rustc_trait_selection::traits::specialization_graph::Children

pub struct Children {
    pub non_blanket_impls: IndexMap<SimplifiedType, Vec<DefId>, BuildHasherDefault<FxHasher>>,
    pub blanket_impls: Vec<DefId>,
}

Children of a given impl, grouped into blanket/non-blanket varieties as is done in TraitDef.

Fields

non_blanket_impls: IndexMap<SimplifiedType, Vec<DefId>, BuildHasherDefault<FxHasher>>

Impls of the trait.

blanket_impls: Vec<DefId>

Blanket impls associated with the trait.

Trait Implementations

impl<'tcx> ChildrenExt<'tcx> for Children

fn insert_blindly(&mut self, tcx: TyCtxt<'tcx>, impl_def_id: DefId)

Insert an impl into this set of children without comparing to any existing impls.

fn remove_existing(&mut self, tcx: TyCtxt<'tcx>, impl_def_id: DefId)

Removes an impl from this set of children. Used when replacing an impl with a parent. The impl must be present in the list of children already.

fn insert( &mut self, tcx: TyCtxt<'tcx>, impl_def_id: DefId, simplified_self: Option<SimplifiedType>, overlap_mode: OverlapMode ) -> Result<Inserted<'tcx>, OverlapError<'tcx>>

Attempt to insert an impl into this set of children, while comparing for specialization relationships.

impl Debug for Children

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

Formats the value using the given formatter.

impl<__D> Decodable<__D> for Children

where __D: TyDecoder,

fn decode(__decoder: &mut __D) -> Children

impl Default for Children

fn default() -> Children

Returns the “default value” for a type.

impl<__E> Encodable<__E> for Children

where __E: TyEncoder,

fn encode(&self, __encoder: &mut __E)

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

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