trait ChildrenExt<'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>>;
}

Required Methods§

source

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

source

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

source

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

Implementors§

source§

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