Trait rustc_trait_selection::traits::specialize::specialization_graph::ChildrenExt

trait ChildrenExt<'tcx> {
    fn insert_blindly(&mut self, tcx: TyCtxt<'tcx>, impl_def_id: DefId);
    fn remove_existing(&mut self, tcx: TyCtxt<'tcx>, impl_def_id: DefId);
    fn insert(
        &mut self,
        tcx: TyCtxt<'tcx>,
        impl_def_id: DefId,
        simplified_self: Option<SimplifiedType>,
        overlap_mode: OverlapMode
    ) -> Result<Inserted<'tcx>, OverlapError<'tcx>>;
}

Required Methods

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

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

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

Implementors

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