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

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