Enum ValidationWarning 

pub enum ValidationWarning {
    DegenerateGeometric {
        strategy: StrategyName,
    },
    LhsDegenerate,
    TriviallyTrueFilter,
    TriviallyFalseFilter,
    SingletonCombinator {
        combinator: &'static str,
    },
}

Non-blocking warning for degenerate-but-defined compositions per spec §5.8.

Variants

DegenerateGeometric

Lattice-geometric strategy (Extrema / Shells / Diagonal / Antidiagonal) over a 1-axis input. Collapses to {first, last} or a trivial walk; usually not what the author meant.

Fields

strategy: StrategyName

The strategy applied.

LhsDegenerate

Lhs over a 1-axis input. Equivalent to Shuffle; two names for one behavior.

TriviallyTrueFilter

filter(c, "true"). Empty-effect filter — usually a bug-shaped predicate. The optimizer’s R0a elides it.

TriviallyFalseFilter

filter(c, "false"). Empty dispense sequence. If intentional, use an empty literal source; otherwise the predicate is bug-shaped.

SingletonCombinator

Singleton variant of a combinator: zip([c], _), cartesian(c), union(c). Identity per spec §4.2 I1-I3; the optimizer’s R0a elides it.

Fields

combinator: &'static str

The combinator with one child.

Trait Implementations

impl Clone for ValidationWarning

fn clone(&self) -> ValidationWarning

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ValidationWarning

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

Formats the value using the given formatter.

impl PartialEq for ValidationWarning

fn eq(&self, other: &ValidationWarning) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for ValidationWarning