Enum TypedChainPart 

pub enum TypedChainPart {
    Field {
        name: Ident,
        optional: bool,
        result_ty: Type,
        span: Span,
    },
    InterfaceProperty {
        iface: MangledName,
        name: Ident,
        optional: bool,
        result_ty: Type,
        span: Span,
    },
    Index {
        idx: ExprId,
        optional: bool,
        result_ty: Type,
        span: Span,
    },
    Call {
        args: Vec<ExprId>,
        optional: bool,
        result_ty: Type,
        span: Span,
    },
    MethodCall {
        iface: MangledName,
        name: Ident,
        args: Vec<ExprId>,
        optional: bool,
        result_ty: Type,
        span: Span,
    },
    NonNull {
        result_ty: Type,
        span: Span,
    },
}

optional drives short-circuit codegen; result_ty is the type after this part, without | null.

Variants

Field

Fields

name: Ident

optional: bool

result_ty: Type

span: Span

InterfaceProperty

Fields

iface: MangledName

name: Ident

optional: bool

result_ty: Type

span: Span

Index

Fields

idx: ExprId

optional: bool

result_ty: Type

span: Span

Call

Fields

args: Vec<ExprId>

optional: bool

result_ty: Type

span: Span

MethodCall

Fields

iface: MangledName

name: Ident

args: Vec<ExprId>

optional: bool

result_ty: Type

span: Span

NonNull

! applied to the step before it. A runtime-checked narrowing that throws TypeError on null, matching the non-chain NonNullAssert — not TS’s unchecked assertion.

Fields

result_ty: Type

span: Span

Implementations

impl TypedChainPart

pub fn result_ty(&self) -> &Type

The type this step yields, which is the next step’s receiver.

pub fn set_result_ty(&mut self, ty: Type)

Replaces the type this step yields. Used when a chain step’s path turns out to be narrowed: the step reads at the narrowed type, not the declared one, and the next step’s receiver follows.

pub fn is_optional(&self) -> bool

Whether this step short-circuits on a null receiver (?.).

Trait Implementations

impl Clone for TypedChainPart

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 TypedChainPart

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

Formats the value using the given formatter.

impl PartialEq for TypedChainPart

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for TypedChainPart