zig_dep.zig

const warn = @import("std").debug.warn;

fn Arr(comptime len: i32, comptime T: type) type {
    var ty = void;
    while (len > 0) : (len -= 1) {
        ty = struct {head: T, tail: ty};
    }
    return ty;
}

fn foo(comptime len: i32, a: Arr(len, i32)) %i32 {
    return 3;
}

test "foo" {
    warn("{}\n", foo(0, Arr(0, i32) {}));
}