11-летняя ошибка soundness в borrow checker Rust
В borrow checker Rust нашли баг, позволяющий обойти гарантии type system и получить use-after-scope. Багу 11 лет, он помечен как P-high (не P-critical только из-за сложности случайной эксплуатации). Для срабатывания нужен намеренно вредоносный Drop. Пример кода на Godbolt прилагается.