Struct ValidateStep 

pub struct ValidateStep {
    pub target: String,
    pub rule: String,
    pub guard: Option<ConfidenceGuard>,
    pub loc: Loc,
}

Fields

target: String

rule: String

guard: Option<ConfidenceGuard>

v2.88.0 — if confidence < 0.8 -> refine(max_attempts: 2), ATTACHED to the validation it governs.

The guard is a field of the validate rather than a sibling statement, and the difference is what makes confidence unambiguous BY CONSTRUCTION. As a sibling, “which confidence does this guard read?” needs a resolution rule (nearest preceding validate), a compile error for the zero case, and dispatch-side re-pairing — three places to drift. As a field there is exactly one validation it can mean, the pairing survives into the IR untouched, and a guard with no validation is UNREPRESENTABLE rather than refused.

loc: Loc

Trait Implementations

impl Debug for ValidateStep

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

Formats the value using the given formatter.