Trait ToElementIndex 

pub(crate) trait ToElementIndex<'tcx>: Debug + Copy {
    // Required methods
    fn add_to_row<N: Idx>(
        self,
        values: &mut RegionValues<'tcx, N>,
        row: N,
    ) -> bool;
    fn contained_in_row<N: Idx>(
        self,
        values: &RegionValues<'tcx, N>,
        row: N,
    ) -> bool;
}

Required Methods

fn add_to_row<N: Idx>(self, values: &mut RegionValues<'tcx, N>, row: N) -> bool

fn contained_in_row<N: Idx>( self, values: &RegionValues<'tcx, N>, row: N, ) -> bool

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl ToElementIndex<'_> for Location

fn add_to_row<N: Idx>(self, values: &mut RegionValues<'_, N>, row: N) -> bool

fn contained_in_row<N: Idx>(self, values: &RegionValues<'_, N>, row: N) -> bool

impl ToElementIndex<'_> for RegionVid

fn add_to_row<N: Idx>(self, values: &mut RegionValues<'_, N>, row: N) -> bool

fn contained_in_row<N: Idx>(self, values: &RegionValues<'_, N>, row: N) -> bool

impl<'tcx> ToElementIndex<'tcx> for PlaceholderRegion<'tcx>

fn add_to_row<N: Idx>(self, values: &mut RegionValues<'tcx, N>, row: N) -> bool

where Self: Into<Placeholder<TyCtxt<'tcx>, BoundRegion>>,

fn contained_in_row<N: Idx>( self, values: &RegionValues<'tcx, N>, row: N, ) -> bool

where Self: Into<Placeholder<TyCtxt<'tcx>, BoundRegion>>,

Implementors