Struct SliceFromRawPartsChecker

pub struct SliceFromRawPartsChecker<'tcx, T> {
    pub variable_contracts: HashMap<usize, Vec<Contract<'tcx>>>,
    _marker: PhantomData<T>,
}

Fields

variable_contracts: HashMap<usize, Vec<Contract<'tcx>>>

_marker: PhantomData<T>

Implementations

impl<'tcx, T> SliceFromRawPartsChecker<'tcx, T>

pub fn new() -> Self

Trait Implementations

impl<'tcx, T> Checker<'tcx> for SliceFromRawPartsChecker<'tcx, T>

fn variable_contracts(&self) -> &HashMap<usize, Vec<Contract<'tcx>>>