>> Насколько я понял из рекламируемых особенностей языка,
> Где и кем рекламируемых?

В частности, здесь.

>> задача Rust как раз и состоит в том, что бы заменить специально обученного тютора с линейкой,
>> который бьёт по рукам. В подобном случае (если он не столь прост как данный) ошибка во время исполнения не обязательно будет отловлена тестами.
> Задача "не дать писать на любом ЯП как на сишке и с
> теми же ошибками" (т.е. как тут - игнорировать наличие итераторов и
> вместо каноничного "for elem in arr" и писать привычный из сишки

Задача статического анализа вышеприведённого кода решаема, с чем согласен ("На мой взляд информации достаточно") в том числе отвечавший на мой исходный вопрос. Не надо подменять его и приписывать мне заявления про "любой ЯП".

> костыль) - вряд ли выполнима даже с помощью кнута, не то
> что линейки.

Значит Rust, где позволено написать "костыль", тем более не годится, я верно понимаю?