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