Struct MetaMatchInfo

pub struct MetaMatchInfo {
    pub matched_type: Option<MetaType>,
    pub converged_arm_type: Option<MetaType>,
    pub pattern_kinds: Vec<MetaPatternKind>,
}

Staged semantic facts for a meta match statement.

Fields

matched_type: Option<MetaType>

Best-known type of the matched value.

converged_arm_type: Option<MetaType>

Best-known converged type across all match arms.

pattern_kinds: Vec<MetaPatternKind>

Broad categories of the arm patterns.

Trait Implementations

impl Clone for MetaMatchInfo

fn clone(&self) -> MetaMatchInfo

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for MetaMatchInfo

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

Formats the value using the given formatter.

impl PartialEq for MetaMatchInfo

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for MetaMatchInfo

impl StructuralPartialEq for MetaMatchInfo