Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Rollup merge of #72682 - JohnTitor:mir-tests, r=RalfJung
Add test for #66930 Closes #66930 Closes #67558 They're fixed by #72424. I skipped adding `--emit=mir` flag to src/test/ui/issues/issue-25145.rs as a regression test since the root cause seems the same and it should be run with `check-pass`, not `run-pass` so we should duplicate that test. r? @RalfJung
- Loading branch information