flux_middle::rty::canonicalize

Trait HoisterDelegate

Source 
pub trait HoisterDelegate {
    // Required methods
    fn hoist_exists(&mut self, ty_ctor: &TyCtor) -> Ty;
    fn hoist_constr(&mut self, pred: Expr);
}

Required Methods§

Source

fn hoist_exists(&mut self, ty_ctor: &TyCtor) -> Ty

Source

fn hoist_constr(&mut self, pred: Expr)

Implementors§