Random thought of the day:
#cpp is about to beat #rust in its own game by becoming the first "quantum memory safe" language.
Depending on whether you observe the binary running (e.g. by running in Fil-C, c++/sys, to a lesser extend with library hardening and sanitizers) or not (e.g. release builds), the binary will either be memory-safe or not.