Trait LocExprExt

pub trait LocExprExt {
    // Required method
    fn runtime_requirement_witness(&self) -> Option<Loc<Expression>>;
}

Required Methods

fn runtime_requirement_witness(&self) -> Option<Loc<Expression>>

Implementations on Foreign Types

impl LocExprExt for Loc<Expression>

fn runtime_requirement_witness(&self) -> Option<Loc<Expression>>

Checks if the expression is evaluable at compile time, returning a Loc of a (sub)-expression which requires runtime, and None if it is comptime evaluable.

If this method returns None, .eval() on the resulting list of mir statements is guaranteed to work

Implementors