Please add Rust's bug, which is reverse of "Runtime type misinformation"

stedolan / counterexamples

Counterexamples in Type Systems

http://counterexamples.org

372 stars 23 forks source link

Please add Rust's bug, which is reverse of "Runtime type misinformation" #18

Open safinaskar opened 1 year ago

safinaskar commented 1 year ago

Rust has a bug, which is reverse to "Runtime type misinformation". It arises because RTTI can distinguish types, which cannot be distinguished by static type system: https://github.com/rust-lang/rust/issues/97156