Trait rustc_pattern_analysis::index::Idx
source · pub trait Idx: Copy + 'static + Eq + PartialEq + Debug + Hash {
// Required methods
fn new(idx: usize) -> Self;
fn index(self) -> usize;
// Provided methods
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.
Required Methods§
Provided Methods§
Object Safety§
This trait is not object safe.