Trait rustc_trait_selection::traits::specialize::specialization_graph::GraphExt

pub trait GraphExt {
    pub fn insert<'tcx>(
        &mut self, 
        tcx: TyCtxt<'tcx>, 
        impl_def_id: DefId
    ) -> Result<Option<FutureCompatOverlapError>, OverlapError>;
    pub fn record_impl_from_cstore<'tcx>(
        &mut self, 
        tcx: TyCtxt<'tcx>, 
        parent: DefId, 
        child: DefId
    );
}

Required methods

pub fn insert<'tcx>(
    &mut self,
    tcx: TyCtxt<'tcx>,
    impl_def_id: DefId
) -> Result<Option<FutureCompatOverlapError>, OverlapError>

Insert a local impl into the specialization graph. If an existing impl conflicts with it (has overlap, but neither specializes the other), information about the area of overlap is returned in the Err.

pub fn record_impl_from_cstore<'tcx>(
    &mut self,
    tcx: TyCtxt<'tcx>,
    parent: DefId,
    child: DefId
)

Insert cached metadata mapping from a child impl back to its parent.

Loading content...

Implementors

impl GraphExt for Graph

pub fn insert<'tcx>(
    &mut self,
    tcx: TyCtxt<'tcx>,
    impl_def_id: DefId
) -> Result<Option<FutureCompatOverlapError>, OverlapError>

Insert a local impl into the specialization graph. If an existing impl conflicts with it (has overlap, but neither specializes the other), information about the area of overlap is returned in the Err.

pub fn record_impl_from_cstore<'tcx>(
    &mut self,
    tcx: TyCtxt<'tcx>,
    parent: DefId,
    child: DefId
)

Insert cached metadata mapping from a child impl back to its parent.

Loading content...