nothing really, that's effectively what's achieved by comptime. it's funny to see it written as "basic" dependent typing, considering it's an extremely complex

nothing really, that's effectively what's achieved by comptime. it's funny to see it written as "basic" dependent typing, considering it's an extremely complex type system to implement.