-
Notifications
You must be signed in to change notification settings - Fork 13.6k
Closed
Labels
T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.Relevant to the compiler team, which will review and decide on the PR/issue.
Description
Hello, this is your friendly neighborhood mergebot.
After merging PR #63402, 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 @estebank, do you think you would have time to do the follow-up work?
If so, that would be great!
cc @oli-obk, the PR reviewer, and @rust-lang/compiler -- nominating for prioritization.
Metadata
Metadata
Labels
T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.Relevant to the compiler team, which will review and decide on the PR/issue.
Type
Projects
Milestone
Relationships
Development
Select code repository
Activity
RalfJung commentedon Aug 30, 2019
#63402 introduced an ICE (integer overflow) in the error emitting code, that Miri runs into.
estebank commentedon Aug 31, 2019
#64029 will fix the issue on
rustc
's end, which should automatically fix this one.Rollup merge of rust-lang#64029 - estebank:fix-miri, r=RalfJung