За формализованными доказательствами обращайся к создателям языка и разработчикам компилятора. Боюсь, я недостаточно компетентен в computer science и теории типов для этого. Предупреждая возможное "ааа хрустоманы ничё не знают", 99.9% сишников и пользователей любого другого ЯП тоже не смогут формализовать даже половину правил своего любимого языка, при этом им это никак не мешает писать хороший код, если верить местным экспертам. Но ещё, как вариант, можете перестать спорить и быть contrarian for the sake of it (прошу прощение за неграмотность и незнание русской идиомы), а вместо этого начать изучать язык серьёзно, без предвзятости, и читать документацию, тогда будет понятно, что изменение с точки зрения семантики действительно тривиально.

Основная проблема хейтерастов (хейтеров раста) - в том, что они составляют мнение о языке без должного с ним ознакомления. Вот у меня есть неплохой бенчмарк для новых языков, которые мне интересны: писать на них компилятор простенького наколенного статически типизированного ЯП хотя бы в байткод, грубо на 5к строк. Уверен, и вы можете придумать аналог. После завершения такого небольшого, но достаточно сложного проекта, уже можно считать себя более-менее компетентным на среднем уровне, делать предварительные выводы и рассуждать, хотя бы на уровне диванного эксперта, о нюансах семантики. А иначе их мнение ничем не подкреплено и основано на собственном невежестве.

> я могу их доказывать, а ты

Раз уж вы начали этот разговор, да ещё так смело размахиваете своей компетенцией, которая, разумеется, гораздо выше моей, почему бы вам тогда и не попытаться доказать, что изменение, о котором идёт речь, действительно может иметь побочные эффекты с точки зрения семантики? Пока что вы высказали только предположения, на что я ответил своими, основанными на своём опыте работы с языком. Если желаете, можете свои предположения подтвердить делом, а если нет, то и нечего тогда тратить время впустую, пытаясь доказать кому-то, что Rust плохой.

Хотя...
> если это правда, то на языке можно ставить крест

Такие заявления указывают на инфантильность и импульсивность в мышлении. Сомневаюсь, что эта дискуссия приведёт к какому-либо результату, но пока ещё не теряю надежды.