> You lose a lot of type safety by making the whole parameter `anytype`.

Pretty sure that's not the case. You can also put further compile time type assertions downstream of the function head.

> If Zig supported

I believe the argument of the thread is that it should support that.