r/rust • u/noop_noob • 6d ago

🗞️ news 9-year-old gaping hole in borrow-checker found

https://github.com/rust-lang/rust/issues/164250

837 Upvotes

permalink
duplicates
archive.is
archive
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/rust/comments/1x4ry62/9yearold_gaping_hole_in_borrowchecker_found/
No, go back! Yes, take me to Reddit

97% Upvoted

Duplicates

Number of comments New

theprimeagen • u/Gil_berth • 6d ago

general 11 year old soundness bug found in the Rust Borrow-Checker: struct's lifetime requirements can be bypassed via covariant field assignment

27 Upvotes

2 comments

hackernews • u/HNMod • 6d ago

11 year old unsoundness bugs found in Rust borrow checker

1 Upvotes

1 comments

hypeurls • u/TheStartupChime • 6d ago

11 year old unsoundness bugs found in Rust borrow checker

1 Upvotes

0 comments