В первую очередь для практически любого средней сложности кода сразу все гарантии куда-то улетучиваются и нужно ОЧЕНЬ ВНИМАТЕЛЬНО вчитываться в каждую строчку документации каждого метода, где написано как делать можно, как нельзя, сделаешь так - гарантии пропадут, эдак - undefined behaviour.

И чем это лучше гарантий С++, в целом, где также нужно вчитываться на cppreference?

Для "всё в памяти в heap" и "в основном в одном потоке" вполне неплохой язык. Именно поэтому его так полюбили JavaScript-ры, которые начали свои тулы на него переписывать ("недостаточно быстро").

Ну и я думаю в Rust разбирается буквально две калеки (по-настоящему).