rapx::analysis::senryx::contracts::checker

Trait Checker

source 
pub trait Checker<'tcx> {
    // Required method
    fn variable_contracts(&self) -> &HashMap<usize, Vec<Contract<'tcx>>>;
}

Required Methods§

source

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

Implementors§

source§

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