Struct PostCondition 

pub struct PostCondition {
    pub closure: ExprClosure,
    pub cfg: Option<Meta>,
}

A postcondition represented by a closure that takes the return value as a reference.

Fields

closure: ExprClosure

The closure that validates the postcondition, taking the function’s return value by reference, e.g. |output| *output > 0.

cfg: Option<Meta>

Static analyzers can safely ignore this field.

Build configuration filter to decide whether to add runtime checks. Passed to a cfg!() guard in the instrumented function.

Trait Implementations

impl Debug for PostCondition

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.