flux_middle::rty::subst

Trait BoundVarReplacerDelegate

Source 
pub trait BoundVarReplacerDelegate {
    // Required methods
    fn replace_expr(&mut self, var: BoundReft) -> Expr;
    fn replace_region(&mut self, br: BoundRegion) -> Region;
}

Required Methods§

Source

fn replace_expr(&mut self, var: BoundReft) -> Expr

Source

fn replace_region(&mut self, br: BoundRegion) -> Region

Implementors§