Auto merge of #115215 - ouz-a:mir_issue, r=lcnr

Remove assert that checks type equality

rust-lang/rust#112307 although this prevented `unsound` issues it also seems to introduce regressions rust-lang/rust#114858 is example of this regression. I locally tested this rust-lang/rust#114858 (comment) issue and failing assert is [this](https://www.diffchecker.com/cjb7jSQm/).

This is also related to rust-lang/rust#115025

Author: bors