Utóbbit csak automatizált ellenőrzés mentén tudod garantálni. Ott se. Pedig a Rust safe módja elvileg erre vállalkozik. Kérdés, hogy mennyire tudja valójában. Kellene ellenpéldát találni és akkor láthatnánk a limitációját.