Struct rustc_trait_selection::traits::specialize::specialization_graph::Children

pub struct Children {
    pub nonblanket_impls: HashMap<SimplifiedTypeGen<DefId>, 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

nonblanket_impls: HashMap<SimplifiedTypeGen<DefId>, Vec<DefId>, BuildHasherDefault<FxHasher>>

Impls of the trait.

blanket_impls: Vec<DefId>

Blanket impls associated with the trait.

Trait Implementations

impl ChildrenExt for Children

pub(in traits::specialize::specialization_graph) fn insert_blindly<'tcx>(
    &mut self,
    tcx: TyCtxt<'tcx>,
    impl_def_id: DefId
)

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

pub(in traits::specialize::specialization_graph) fn remove_existing<'tcx>(
    &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.

pub(in traits::specialize::specialization_graph) fn insert<'tcx>(
    &mut self,
    tcx: TyCtxt<'tcx>,
    impl_def_id: DefId,
    simplified_self: Option<SimplifiedType>
) -> Result<Inserted, OverlapError>

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