// A Vector lane count accepts an integral float constant — `L : f64 : 4.0` lays
// out the same `Vector(4, f32)` as the literal `4`. The lane resolver shares the
// const-int evaluator with the array-dim path, so the integral-float rule
// (issue 0083 / F0.4 attempt 8, Agra ruling) applies uniformly.
#import "modules/std.sx";

L : f64 : 4.0;

main :: () {
    v : Vector(L, f32) = .[1.0, 2.0, 3.0, 4.0];
    print("v0={} v2={} v3={}\n", v[0], v[2], v[3]);
}
