Skip to main content

ToElementIndex

Trait ToElementIndex 

Source
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§

Source

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

Source

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".

Implementations on Foreign Types§

Source§

impl ToElementIndex<'_> for Location

Source§

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

Source§

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

Source§

impl ToElementIndex<'_> for RegionVid

Source§

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

Source§

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

Source§

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

Source§

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

Source§

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

Implementors§