Trait rustc_ap_rustc_index::vec::Idx[][src]

pub trait Idx: Copy + 'static + Ord + 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.

Required methods

Provided methods

Implementations on Foreign Types

Implementors