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