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>