Пост 🦀 В Rust нашли баг, который 11 лет обходил гарантии безопасности памяти.

🦀 В Rust нашли баг, который 11 лет обходил гарантии безопасности памяти. Ошибка позволяет нарушить ограничения времени жизни при присваивании полю структуры. В результате код без `unsafe` может сохранить ссылку на уже уничтоженные данные, а затем обратиться к ним. В issue есть примеры чтения освобождённой памяти и падения программы. Один из них воспроизводится начиная с Rust 1.4. Разработчики присвоили ошибке высокий приоритет `P-high`. По оценке команды, случайное проявление маловероятно: для показанного нарушения безопасности нужна специально сконструированная реализация Drop. Комментарии ограничили, чтобы предотвратить спам и бесполезные обсуждения. Гарантии Rust тоже зависят от корректности компилятора. Здесь нашли дыру именно в их реализации. https://github.com/rust-lang/rust/issues/164250