struct's lifetime requirements can be bypassed via covariant field assignment
Summary
A GitHub Rust issue notes a borrow-checker unsoundness hole where covariant field assignment can bypass lifetime requirements, with code examples and ASan-triggered crashes. The discussion highlights Rust safety concerns and ongoing work to fix the borrow checker across nightly/stable releases.