~vladp91


#15 Rust isn't fully sound 5 months ago

Ticket created by ~vladp91 on ~bfiedler/typing-is-hard

Rust seemingly has a soundness hole described in the following issue https://github.com/rust-lang/rust/issues/25860