Add regression tests for issues marked fixed-by-next-solver (1/N) - #162137
Add regression tests for issues marked fixed-by-next-solver (1/N)#162137Randl wants to merge 1 commit into
Conversation
|
r? @chenyukang rustbot has assigned @chenyukang. Use Why was this reviewer chosen?The reviewer was selected based on:
|
|
Maybe you need to add multiple |
| @@ -0,0 +1,17 @@ | |||
| //@ compile-flags: -Znext-solver | |||
| //@ check-pass | |||
There was a problem hiding this comment.
The same program fails with E0284 on Rust 1.75.0 but passes with the old solver on nightly. Suggest adding current and next revisions preserve both behaviors.
There was a problem hiding this comment.
It fails for me with E0284 with the old solver, both locally and at godbolt. Could it be that you checked with the (default) new solver?
|
@rustbot author |
|
Reminder, once the PR becomes ready for a review, use |
d1dda38 to
87f7eee
Compare
|
This PR was rebased onto a different main commit. Here's a range-diff highlighting what actually changed. Rebasing is a normal part of keeping PRs up to date, so no action is needed—this note is just to help reviewers. |
|
I've added the fixes comment only to tests that pass with both solvers |
|
@rustbot ready |
Note that while these issues are marked
fixed-by-next-solver, some of them also pass with the old solver now.Fixes #90950
Fixes #102580
Fixes #134312
Fixes #134370
Fixes #141478
LLM disclosure: I used LLM to collect and classify the issues. After that, I manually extracted the MCE from each issue and checked how it failed on older Rust versions.