StaticExprKind

enum StaticExprKind

The ADR 0035 static index language (16, N + 1, (M) * 2, .on). Not a dump-visited node: only nested Path annotations render, at the surrounding depth.

Cases

case int_literal(String)

An integer literal preserved in source spelling.

case bool_literal(Bool)

A Boolean literal.

case unqualified_case(String, Int, Int)

A fieldless enum case whose owner is inferred from the static parameter's declared value type; the name and its token span.

case static_path(TypeAnnotation)

A name-like operand — a static parameter reference or a fieldless enum case path — kept as an annotation so name resolution visits it like every other type reference.

case static_group([StaticExpr])

Parenthesized grouping; the inner expression as a one-element array.