But those segfaults will either be memory memory safe or your lines will contain “unsafe” or “unchecked” somewhere.

You can make a fully safe segfault the same way you can in go. Swapping a base reference between two child types. The data pointer and vft pointer aren't updated atomically, so a thread safety issue becomes a memory safety one.