This is an unexpectedly difficult problem. Nominally-distinct primitive types might happen (they aren’t on the roadmap), but it’s unlikely Zig will go the full distance to properly support units in the type system, it adds a lot of complexity to get it right.
2 Likes