Skip to main content

HasIdxVecOf

charon_lib::ast::types_utils

Trait HasIdxVecOf 

Source 
pub trait HasIdxVecOf<Id: Idx>: Index<Id, Output: Sized> {
    // Required methods
    fn get_idx_vec(&self) -> &IndexVec<Id, Self::Output>;
    fn get_idx_vec_mut(&mut self) -> &mut IndexVec<Id, Self::Output>;
}

Required Methods§

Source

fn get_idx_vec(&self) -> &IndexVec<Id, Self::Output>

Source

fn get_idx_vec_mut(&mut self) -> &mut IndexVec<Id, Self::Output>

Dyn Compatibility§

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors§