[saagarjha]

No, my point is that it doesn't. If your zero-sized types are big your type system is not any worse: it's just less efficient.

[tialaramex]

If you're focused on just the theoretical correctness of the type system, go back to my first critique: C++ does not have Empty Types. So immediately a whole class of problems that are just a type system question in Rust are imponderable, you can't even say what you meant in C++