tl;dr: An 11-year-old soundness bug in Rust's borrow checker allows a Drop implementation to smuggle a non-'static reference into a 'static context, enabling use-after-scope memory unsafety (reproducible on stable down to 1.85.0). The Types Team rates it P-high rather than P-critical because exploiting it requires an intentionally malicious Drop impl, and the bug has gone unnoticed for over a decade—suggesting it's unlikely to have caused accidental memory unsafety in real code.