Method state

src/analysis/mir_visitor/block_visitor.rs:88–90

(&self)

    IntervalAbstractDomain<DomainType>: GetDomainType,
{
    pub fn state(&self) -> &AbstractDomain<DomainType> {
        &self.body_visitor.state
    }

    pub fn new(
        body_visitor: &'b mut WtoFixPointIterator<'tcx, 'a, 'compiler, DomainType>,