Struct PostCondition 

pub struct PostCondition {
    pub pat: Option<Pat>,
    pub expr: Expr,
    pub cfg: Option<Meta>,
}

A postcondition represented by a pattern to bind the output and a bool-valued expression.

Fields

pat: Option<Pat>

The pattern to bind/destructure the function’s output, e.g. ref answer.

expr: Expr

The expression that validates the postcondition, e.g. answer == "forty-two".

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.