-
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
Rename EvalResult
to InterpResult
#59654
Rename EvalResult
to InterpResult
#59654
Conversation
r? @pnkfelix (rust_highfive has picked a reviewer for you, use r? to override) |
r? @oli-obk |
The job Click to expand the log.
I'm a bot! I can only do what humans tell me to, so if this was not helpful or you have suggestions for improvements, please ping or otherwise contact |
The job Click to expand the log.
I'm a bot! I can only do what humans tell me to, so if this was not helpful or you have suggestions for improvements, please ping or otherwise contact |
☔ The latest upstream changes (presumably #59657) made this pull request unmergeable. Please resolve the merge conflicts. |
The changes lgtm. Please rebase and squash the commits. |
fix tidy error remove unnecessary whitespace
4e1cf69
to
b7b7985
Compare
I rebased my commits. Please review. |
@bors r+ |
📌 Commit b7b7985 has been approved by |
⌛ Testing commit b7b7985 with merge 1d5e0e01139cf71e7c789c52c4446223c232bc3d... |
💔 Test failed - checks-travis |
The job Click to expand the log.
I'm a bot! I can only do what humans tell me to, so if this was not helpful or you have suggestions for improvements, please ping or otherwise contact |
@bors r- This has broken miri which is disallowed on the week before beta release. |
☔ The latest upstream changes (presumably #59780) made this pull request unmergeable. Please resolve the merge conflicts. |
Sorry for being late. |
That would be great, yes. |
2fee6e3
to
b7b7985
Compare
The job Click to expand the log.
I'm a bot! I can only do what humans tell me to, so if this was not helpful or you have suggestions for improvements, please ping or otherwise contact |
The job Click to expand the log.
I'm a bot! I can only do what humans tell me to, so if this was not helpful or you have suggestions for improvements, please ping or otherwise contact |
@kenta7777 please rebase and fix the import failures (they are happening because of changes from other PRs) |
FWIW this also blocks fixing rust-lang/miri#417, which is an issue that people run into all the time (so I'd like to work on it soon-ish). |
Sorry for the delay in fixing. I'll work on this in a few days. |
I have taken over this PR to unblock other work; closing in favor of #61625. |
This PR renames all uses of
EvalResult
inlibrustc/mir
andlibrustc_mir
toInterpResult
.This PR is related to #54395 .