Trait rustc_index::vec::Idx
source · pub trait Idx: Copy + 'static + Eq + PartialEq + Debug + Hash {
fn new(idx: usize) -> Self;
fn index(self) -> usize;
fn increment_by(&mut self, amount: usize) { ... }
fn plus(self, amount: usize) -> Self { ... }
}
Expand description
Represents some newtyped usize
wrapper.
Purpose: avoid mixing indexes for different bitvector domains.