add regression test for #142717

[imlazyeye]

Adds regression tests for #142717.

Like the issue says, the ICE is resolved on the new solver, but compiletest forces -Znext-solver=coherence which will make it still occur. That's why the UI test has globally to pin the fixed behavior but the crash test exists for the broken one.

Let me know if both tests are not necessary/if this should indeed close that issue.

r? types

[rustbot]

This PR changes a file inside tests/crashes. If a crash was fixed, please move into the corresponding ui subdir and add 'Fixes #' to the PR description to autoclose the issue upon merge.

[rustbot]

Thanks for the pull request, and welcome! The Rust Project has assigned @spastorino (or someone else) to review your changes, you should hear from them (or someone else) within the next two weeks.

Please see the contribution instructions and our LLM policy for more information.

Why was this reviewer chosen?

The reviewer was selected based on:

• types expanded to 7 candidates
• Random selection from jackh726, lcnr, oli-obk, spastorino

[paradoxicalguy]

lgtm. split between the old/new solver tests seems consistent