Again, the novel use of partial evaluation in Zig is that it eliminates generics, interfaces, and macros. Any language that has one or more of these features does not have this novel design.
I mean a simple example. Just to illustrate the concept. Like the examples I provided here:
https://news.ycombinator.com/item?id=45859669