zig_dep.zig

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

fn Arr(comptime len: i32, comptime T: type) type {
    if (len <= 0) {
        return void;
    } else {
        var t = void;
        return struct {head: T, tail: t};
    }
}

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

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