Trait orzir::verifiers::control_flow::NoTerminator

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

Verifier NoTerminator for Op.

This verifier indicates that the regions in the operation do not need a terminator.

Provided Methods§

source

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

Implementors§