Struct MatchArm 

pub struct MatchArm { /* private fields */ }

One arm of a match: a labelled pattern Shape plus optional coverage info.

The kernel defines the Shape match/binding contract; an arm wraps a shape with the label reported on a hit and, optionally, the ADT variant it covers so exhaustiveness_diagnostics can verify completeness.

Implementations

impl MatchArm

pub fn new(label: Symbol, shape: Arc<dyn Shape>) -> Self

Builds an arm from a label and a checking Shape, covering no variant.

pub fn for_constructor(constructor: &VariantConstructor) -> Self

Builds an arm matching constructor’s variant, recording its coverage.

pub fn with_covered_variant(self, variant: Symbol) -> Self

Records the ADT variant this arm covers, for exhaustiveness checking.

pub fn label(&self) -> &Symbol

Returns the label reported when this arm matches.

pub fn shape(&self) -> &Arc<dyn Shape>

Returns the kernel Shape this arm checks against.

pub fn covered_variant(&self) -> Option<&Symbol>

Returns the ADT variant this arm covers, if any.

Trait Implementations

impl Clone for MatchArm

fn clone(&self) -> MatchArm

Returns a duplicate of the value.

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

Performs copy-assignment from source.