/// Adds a local impl into the specialization graph, returning an error with
/// overlap information if the impl overlaps but does not specialize an
/// existing impl.
Adds a local impl into the specialization graph, returning an error with
overlap information if the impl overlaps but does not specialize an
existing impl.
Adds a local impl into the specialization graph returning an error with overlap information if the impl overlaps but does not specialize an existing impl .
pub fn add_impl_for_specialization(&self,
                                       tcx: TyCtxt<'a, 'gcx, 'tcx>,
                                       impl_def_id: DefId)
                                       -> Result<(), traits::OverlapError> {
        assert!(impl_def_id.is_local());
        self.specialization_graph.borrow_mut()
            .insert(tcx, impl_def_id)
    }
pub fn add_impl_for_specialization ( & self , tcx : TyCtxt < ' a , ' gcx , ' tcx > , impl_def_id : DefId ) -> Result < ( ) , traits :: OverlapError > { assert ! ( impl_def_id is_local ( ) ) ; self . specialization_graph . borrow_mut ( ) . insert ( tcx , impl_def_id ) }
Adds a local impl into the specialization graph, returning an error with
overlap information if the impl overlaps but does not specialize an
existing impl.
Adds a local impl into the specialization graph returning an error with overlap information if the impl overlaps but does not specialize an existing impl .
&self
tcx
TyCtxt<'a, 'gcx, 'tcx>
impl_def_id
DefId