Здравствуйте, Evgeny.Panasyuk, Вы писали:

KP>>Не противоречит при условии обеспечения гарантий на этапе компиляции.
EP>Выполнение которго неразрешимо в общем случае.

В общем случае – да. В то же время, Rust дает тебе возможность получить такую гарантию в условных 90% случаев, в отличие от C++, который не дает такой гарантии никогда. Думаю, выбор довольно очевиден