[−][src]Trait rustc_trait_selection::traits::specialize::specialization_graph::ChildrenExt

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

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

    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>;
}

Required methods

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

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

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>[src]

Loading content...

Implementors

impl ChildrenExt for Children[src]

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

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
)[src]

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>[src]

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

Loading content...