Борцы с unsafe забывают, что это всё чудесно работает до первого обращения вне приложения, то бишь в стороннее приложение/БД. Тот же PostgreSQL может вернуть валидную строку даты достаточно большим диапазоном видов, если не приводить тип на выдаче принудительно, ну и с числами там мемы, так как системы типов между Rust и этим диалектом SQL сильно расходятся, ибо SQL не знает такого типа как массив нативно, для неё это всё строка с разными правилами парсинга, а не разные структуры.
То же самое касается условного ответа по API или чтения XML-шины.

Во всех этих ситуация, Rust вроде как по-дефолту просто упадет (давно не писал на нем и не помню это было поведение с коробки или это я чего настроил) при несоответствии типов, но это такой себе safe, о котором любят умалчивать и не вспоминать)

Все штуки на грани интерфейсного общения двух независимых высокоабстрактных юнитов не могут быть type-safe.

Люблю незащищенный