Trait orzir::verifiers::IsIsolatedFromAbove

source · 
pub trait IsIsolatedFromAbove: Op {
    // Provided method
    fn verify(&self, ctx: &Context) -> VerifyResult<()> { ... }
}
Expand description

Verifier IsIsoaltedFromAbove for Op.

An verifier indicating that the operation will not refer to any SSA values from above regions.

Note that symbols can be used.

Provided Methods§

source

fn verify(&self, ctx: &Context) -> VerifyResult<()>

Implementors§