Trait rustc_trait_selection::traits::specialization_graph::GraphExt[−][src]

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

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

Required methods

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

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.

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

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

Loading content...

Implementors

impl GraphExt for Graph[src]

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

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.

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

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

Loading content...