Trait rustc_ap_rustc_index::vec::Idx

pub trait Idx: Copy + 'static + Ord + Debug + Hash {
    pub fn new(idx: usize) -> Self;
    pub fn index(self) -> usize;

    pub fn increment_by(&mut self, amount: usize) { ... }
    pub fn plus(self, amount: usize) -> Self { ... }
}

Represents some newtyped usize wrapper.

Purpose: avoid mixing indexes for different bitvector domains.

Required methods

pub fn new(idx: usize) -> Self

pub fn index(self) -> usize

Loading content...

Provided methods

pub fn increment_by(&mut self, amount: usize)

pub fn plus(self, amount: usize) -> Self

Loading content...

Implementations on Foreign Types

impl Idx for usize

pub fn new(idx: usize) -> Self

pub fn index(self) -> usize

impl Idx for u32

pub fn new(idx: usize) -> Self

pub fn index(self) -> usize

Loading content...

Implementors

Loading content...