Enum ConstValue 

pub enum ConstValue {
    Integer(i64),
    Bool(bool),
    Type(Type),
    Unit,
    Struct(u32),
    Array(u32),
    ComptimeStr(u32),
    EnumVariant {
        enum_id: EnumId,
        variant_idx: u32,
    },
    EnumData {
        enum_id: EnumId,
        variant_idx: u32,
        heap_idx: u32,
    },
    EnumStruct {
        enum_id: EnumId,
        variant_idx: u32,
        heap_idx: u32,
    },
    BreakSignal,
    ContinueSignal,
    ReturnSignal,
}

A value that can be computed at compile time.

This is used for constant expression evaluation, primarily for compile-time bounds checking. It can be extended for future comptime features.

Variants

Integer(i64)

Integer value (signed to handle arithmetic correctly)

Bool(bool)

Boolean value

Type(Type)

Type value - stores a concrete type for type parameters. This is used when a comptime T: type parameter is instantiated with a specific type like i32 or bool.

Unit

Unit value () — the result of statements (let bindings, assignments) and expressions of unit type within comptime blocks.

Struct(u32)

Index into Sema::comptime_heap for a comptime struct instance. Preserves the Copy trait while supporting composite values.

Array(u32)

Index into Sema::comptime_heap for a comptime array instance.

ComptimeStr(u32)

Index into Sema::comptime_heap for a comptime string value.

EnumVariant

Enum variant with no data (e.g., Color::Red). Stores the enum id and variant index.

Fields

enum_id: EnumId

variant_idx: u32

EnumData

Enum variant with tuple data (e.g., Option::Some(42)). Data fields are stored on the comptime heap.

Fields

enum_id: EnumId

variant_idx: u32

heap_idx: u32

EnumStruct

Enum variant with struct data (e.g., Shape::Rect { w: 10, h: 20 }). Fields are stored on the comptime heap in declaration order.

Fields

enum_id: EnumId

variant_idx: u32

heap_idx: u32

BreakSignal

Internal control-flow signal: produced by break inside a comptime loop. Never escapes evaluate_comptime_block — consumed by Loop/InfiniteLoop cases.

ContinueSignal

Internal control-flow signal: produced by continue inside a comptime loop. Never escapes evaluate_comptime_block — consumed by Loop/InfiniteLoop cases.

ReturnSignal

Internal control-flow signal: produced by return inside a comptime function. Never escapes a comptime Call handler — the return value is stored in Sema::comptime_return_value before this signal is returned.

Implementations

impl ConstValue

pub fn as_integer(self) -> Option<i64>

Try to extract an integer value.

pub fn as_bool(self) -> Option<bool>

Try to extract a boolean value.

Trait Implementations

impl Clone for ConstValue

fn clone(&self) -> ConstValue

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ConstValue

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

Formats the value using the given formatter.

impl PartialEq for ConstValue

fn eq(&self, other: &ConstValue) -> 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 Copy for ConstValue

impl Eq for ConstValue

impl StructuralPartialEq for ConstValue