-
Notifications
You must be signed in to change notification settings - Fork 12.8k
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
Emit error instead of ICE when optimized MIR is missing #115353
Conversation
(rustbot has picked a reviewer for you, use r? to override) |
Glancing over the "Errors and Lints" chapter in the rustc dev guide, I just now realized I've made some basic mistakes in the error message. I will fix those mistakes when I get time, before a first review. @rustbot author |
@@ -14,6 +14,9 @@ monomorphize_large_assignments = | |||
.label = value moved from here | |||
.note = The current maximum size is {$limit}, but it can be customized with the move_size_limit attribute: `#![move_size_limit = "..."]` | |||
|
|||
monomorphize_no_optimized_mir = | |||
Optimized MIR unavailable for `{$def}`. Was it compiled with just `--emit=metadata` and without `-Zalways-encode-mir`? |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
We should only talk about -Z flags if we are on a nightly compiler.
I'm not sure how to signal that difference to fluent, so maybe only mention the emit flag?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Yes let's skip it for now. I'm happy with what I have now (at least it is much better than ICE), so feel free to review.
@rustbot ready
r? @oli-obk |
4b69743
to
456007a
Compare
@bors r+ rollup |
Emit error instead of ICE when optimized MIR is missing Closes rust-lang#51388
⌛ Testing commit 456007a with merge c3325d20389cc70a78b49a2d9314c8bba0314482... |
💔 Test failed - checks-actions |
@bors retry GitHub checkout failed |
A job failed! Check out the build log: (web) (plain) Click to see the possible cause of the failure (guessed by this bot)
|
⌛ Testing commit 456007a with merge 5a409cd628bfd8f58c23b2517beb7fba106d3f2f... |
💔 Test failed - checks-actions |
A job failed! Check out the build log: (web) (plain) Click to see the possible cause of the failure (guessed by this bot)
|
@bors retry GitHub checkout issue |
…iaskrgr Rollup of 5 pull requests Successful merges: - rust-lang#115353 (Emit error instead of ICE when optimized MIR is missing) - rust-lang#115488 (Take `&mut Results` in `ResultsVisitor`) - rust-lang#115492 (Allow `large_assignments` for Box/Arc/Rc initialization) - rust-lang#115519 (Don't ICE on associated type projection without feature gate in new solver) - rust-lang#115534 (Expose more information with DefId in smir) r? `@ghost` `@rustbot` modify labels: rollup
Closes #51388