Struct rustc_trait_selection::traits::specialization_graph::Children

pub struct Children {
    pub nonblanket_impls: HashMap<SimplifiedTypeGen<DefId>, Vec<DefId, Global>, BuildHasherDefault<FxHasher>>,
    pub blanket_impls: Vec<DefId, Global>,
}

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

Fields

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

Impls of the trait.

blanket_impls: Vec<DefId, Global>

Blanket impls associated with the trait.

Trait Implementations

impl ChildrenExt for Children

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.

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.

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.