Igen, de ez az unsafe hív safe-t irány sosem volt kérdés.
A gondot az okozza, hogy az alacsony szintű függvényeknek muszáj unsafe-nek lenniük, így tehát az azokat hívó magas szintű függvényeknek is (ez a safe hívna unsafe-t irány). Mégis, valahogy azt hazudják, hogy a magas szintű függvények safe-k lehetnek, holott ez a Rust saját szabályai szerint sem lehetséges.
Ha tényleg betartjuk a Rust dokumentációban foglalt szabályokat, akkor nyilvánvaló, hogy lehetetlen safe Rust programot írni. Ez csakis úgy lehetséges, ha felrúgjuk a specifikációban foglalt safe nem hívhat unsafe-t szabályt, másként nem. Ezzel pedig pont a lényegét veszíti el a safe kulcsszó.