We do the same thing in Rust, but I think that characterizing this as UB is misleading, personally. We created a new category, "program error", for this, to distinguish from UB proper.
I'm not sure if Zig inherited the defined/implementation defined/undefined hierarchy from C and C++ though.
I'm not sure if Zig inherited the defined/implementation defined/undefined hierarchy from C and C++ though.