Ты же всегда когда используешь деление в своём коде пишешь unsafe? Чтоб избежать лишней проверки?
То есть ты все-таки согласен, что эта сишная структура может быть переписана на раст без ансейф кода? (Vec<T> конечно же внутри содержит ансейф, но он пишется ровно один раз на все ядро).
По поводу деления - лично я делю без ансейфа, потому что мне нет нужды настолько оптимизироваться. Потребуется - буду думать.
В какой-то момент я должен забесплатно получить доп.оптимизации за noalias, кстати. Я думаю они перекроют оверхэд на проверки при деленит.