-
Notifications
You must be signed in to change notification settings - Fork 13k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
miri
no longer builds after rust-lang/rust#62335
#62347
Comments
|
Looks like a bunch of tests are affected the same way:
|
Cc @christianpoveda this is likely caused by your change, somehow. |
Likely caused by a missing |
I merged @RalfJung's branches with my branches in both the rust and miri repos and all the tests passed :D |
triage: P-medium, removing nomination, |
Miri upstream CI passes now, but only because I disabled a bunch of tests. I felt that was the better alternative, compared to not being able to land any update in Miri until a fix happens on the rustc side. But this means we shouldn't update the in-tree Miri tool yet. |
PR fixing things for Miri: rust-lang/miri#830. Blocked on #62441. |
@lzutao Miri master got broken again, CI is failing. Do you want to try to fix that? |
I believe #62403 broke miri. Hopefully I get time to fix it? |
Should be an easy fix by making Miri not use that trait explicitly. It's yours! |
Remove SliceConcatExt import rustup rust-lang/rust#62403 cc rust-lang/rust#62347
Hooray, #62441 landed! Looks like this is blocked on a serde EDIT: blocked on #62562, actually. |
Hello, this is your friendly neighborhood mergebot.
After merging PR #62335, I observed that the tool miri has failing tests.
A follow-up PR to the repository https://github.com/rust-lang/miri is needed to fix the fallout.
cc @Mark-Simulacrum, do you think you would have time to do the follow-up work?
If so, that would be great!
cc @Mark-Simulacrum, the PR reviewer, and @rust-lang/compiler -- nominating for prioritization.
The text was updated successfully, but these errors were encountered: