Rust-Borrow-Checker seit Version 1.4 unsound: Lebenszeit-Garantien lassen sich umgehen

11 year old unsoundness bugs found in Rust borrow checker

Ein GitHub-Issue dokumentiert eine schwerwiegende Soundness-Lücke im Rust-Borrow-Checker: Structs mit 'static-Anforderungen können durch kovariante Feldzuweisungen ausgetrickst werden. Der Code kompiliert, obwohl er eine nicht-'static-Referenz in einen 'static-Kontext schmuggelt, und führt zu Use-after-Free. Die Lücke besteht seit Rust 1.4 (2015) und wurde erst jetzt entdeckt.