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

Т.е. внятного ответа не будет.

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

Любители "соломенных чучел" возмущаются "подменой тезиса"?

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

Значит наброс от n00by слишком уныл, все верно.