В Rust 1.97.0 по умолчанию включили новую схему symbol mangling, добавили возможность запрещать warnings в Cargo и перестали скрывать вывод линкера после успешной сборки. Последний пункт особенно человечный: теперь, если сборка прошла, вы хотя бы не теряете полезные строки, которые раньше делали вид, что их не существует.
Вышел Rust 1.96.0. В релизе добавили новые типы диапазонов, которые реализуют Copy, утверждения с сопоставлением с образцом, несколько стабилизированных API и два исправления уязвимостей в Cargo.
Creusot — это инструмент для формальной проверки Rust-кода, то есть для тех случаев, когда «ну вроде работает» уже не считается аргументом. Проект живет на GitHub и явно рассчитан на людей, которым мало borrow checker'а и хочется ещё и математически доказать, что они не сломали инварианты.