C-ben nincs ilyesmi, mert a C-nek ez nem is feladata, ott a maximum kontrollon van a hangsúly. Hagyjuk a C-t, mert nem az volt a kérdés, hogy C-ben mi van, vagy mi nincs, hanem, hogy a Rust hogy működik.
Honnan tudja, hogy valamit tényleg fel kell-e szabadítania? Egy globális változóban allokált memóriaszegmenst pl.? Mi van, ha azt a hiba ellenére sem kell felszabadítania, pedig lokálisan allokálták? Mi van, ha mindenképpen fel kell szabadítania, pedig globális? Hogy dönti ezt el a Rust az ember helyett?