Enum TypedSwitchValue 

pub enum TypedSwitchValue {
    Expr {
        label: ExprId,
        comparison: ExprId,
        literal: Option<LiteralValue>,
        span: Span,
    },
    String {
        value: String,
        span: Span,
    },
    Number {
        value: f64,
        span: Span,
    },
    Boolean {
        value: bool,
        span: Span,
    },
    Null {
        span: Span,
    },
    Undefined {
        span: Span,
    },
    Enum {
        enum_name: MangledName,
        member: Ident,
        value: EnumVariantPayload,
        span: Span,
    },
}

A case label. span anchors fallthrough and duplicate-case diagnostics.

Variants

Expr

A label that isn’t a literal, such as case one:, compared at run time. Walkers visit comparison, which holds label.

Fields

label: ExprId

comparison: ExprId

discriminant === label. The discriminant is read from the temporary the inferer binds it to, so the label can’t re-run it.

literal: Option<LiteralValue>

The one value the label can have, when its type is a single literal: it then counts toward exhaustiveness as a literal label would.

span: Span

String

Fields

value: String

span: Span

Number

Fields

value: f64

span: Span

Boolean

Fields

value: bool

span: Span

Null

Fields

span: Span

Undefined

Fields

span: Span

Enum

value is the lowered runtime representation.

Fields

enum_name: MangledName

member: Ident

value: EnumVariantPayload

span: Span

Trait Implementations

impl Clone for TypedSwitchValue

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 TypedSwitchValue

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

Formats the value using the given formatter.

impl PartialEq for TypedSwitchValue

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for TypedSwitchValue