vercel-labs--zerolang/examples/compile-time-v1.0

const enabled: Bool = meta(target.pointerWidth >= 32 && hasField(Point, "y"))

const selected: Mode = Mode.tiny

const fields: usize = meta fieldCount(Point)

const field_type: String = meta fieldType(Point, "x")

type Point {
    x: i32,
    y: i32,
}

type Gate<static enabledFlag: Bool, static selectedMode: Mode> {
    value: i32,
}

enum Mode: u8 {
    fast,
    tiny,
}

fn readGate<static enabledFlag: Bool, static selectedMode: Mode>(gate: ref<Gate<enabledFlag, selectedMode>>) -> i32 {
    if enabledFlag {
        return gate.value
    }
    return 0
}

pub fn main(world: World) -> Void raises {
    let gate: Gate<enabled, selected> = Gate { value: 29 }
    if readGate<enabled, selected>(&gate) == 29 && fields == 2 && std.mem.eql(field_type, "i32") {
        check world.out.write("compile time v1 ok\n")
    }
}