importantSYS.SOURCE: GitHub• 2026-10-13T10:27:00Z
Rust Borrow Checker Soundness Hole Exploits Covariant Field Assignment
A soundness hole in the Rust borrow checker allows bypassing lifetime requirements through covariant field assignment, leading to potential use-after-scope crashes. The issue affects Rust versions as far back as 1.85.0 and was demonstrated with code that compiles but causes undefined behavior.
*** END OF TRANSMISSION ***