Enum StructuralRule 

pub enum StructuralRule {
    NestedUnboundedQuantifier(String),
    AdjacentBroadUnboundedQuantifiers(String),
    UnreachableTerminatorScan(String),
    LiteralAbsorbedByQuantifiedClass(String),
    AmbiguousOptionalTail(String),
    NestingDepthExceeded,
}

The five structural rules plus the nesting-depth rejection.

Variants

NestedUnboundedQuantifier(String)

AdjacentBroadUnboundedQuantifiers(String)

UnreachableTerminatorScan(String)

LiteralAbsorbedByQuantifiedClass(String)

AmbiguousOptionalTail(String)

NestingDepthExceeded

Implementations

impl StructuralRule

pub fn reason_class(&self) -> &'static str

The stable reason class token per structural rule.

Trait Implementations

impl Clone for StructuralRule

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StructuralRule

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

Formats the value using the given formatter.

impl Eq for StructuralRule

impl PartialEq for StructuralRule

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for StructuralRule