In my (admittedly) very limited usage/understanding of Zig, this is a fairly accurate description of where the memory safety comes from.