login sign up

struct's lifetime requirements can be bypassed via covariant field assignment · Issue #164250 · rust-lang/rust

github.com · first added by @a1exam
saved by
1 person
discussions · 1
11 year old unsoundness bugs found in Rust borrow checker 744 pts · 431 comments · Oct 2026 744 pts · 431 comments · Oct 2026
0 people saved or upvoted this
from the discussion · 6
Counterexamples in Type Systems - Counterexamples in Type Systems counterexamples.org counterexamples.org
0 people saved or upvoted this
Counterexamples in Type Systems: programs that crash, segfault or explode (2021) counterexamples.org counterexamples.org
0 people saved or upvoted this
model-checking/verify-rust-std: Verifying the Rust standard library github.com github.com
0 people saved or upvoted this
Introduction - Rust via Desugarings nadrieril.github.io nadrieril.github.io
0 people saved or upvoted this
Project Zero - Rust Project Goals goals.rust-lang.org goals.rust-lang.org
0 people saved or upvoted this
see all 6 →
minirust/minirust: A precise specification for "Rust lite / MIR plus" github.com github.com
0 people saved or upvoted this
related HN threads · 3
Counterexamples in type systems (2021) 60 pts · 4 comments · Jun 2026 60 pts · 4 comments · Jun 2026
0 people saved or upvoted this
Counterexamples in Type Systems: programs that crash, segfault or explode (2021) 234 pts · 97 comments · Jun 2023 234 pts · 97 comments · Jun 2023
0 people saved or upvoted this
Counterexamples in Type Systems 172 pts · 62 comments · May 2021 172 pts · 62 comments · May 2021
0 people saved or upvoted this