Skip to main content

HoisterDelegate

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)

Dyn Compatibility§

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors§