> А что тут заценивать? Тебе пришел буффер из си - как ты можешь гарантировать что он валиден?
> Никак. Поэтому пишешь unsafe и коммент что сишники обещали что он будет валиден.
> Т.е. гарантии примерно те же, что и в остальном си коде.Другими словами, раст не нужен, да?
> А вот дальше появляются гарантии самого языка.
Гарантии чего именно? Что возможно невалидный блок будет гарантрованно валидно использован, не смотря на то, что он невалидный и гарантированно создает дыру, ради избежания которой весь этот сыр-бор и задумывался когда-то?
> Можно еще посмотреть на си обертки для раст кода - там вообще сплошной ансефс, ужас, да?
Вотебаутизм.