-
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
Always produce sub-obligations when using cached projection result #85382
Conversation
r? @varkor (rust-highfive has picked a reviewer for you, use r? to override) |
@bors try @rust-timer queue |
Awaiting bors try build completion. @rustbot label: +S-waiting-on-perf |
⌛ Trying commit 8657bb2 with merge c3a39b612f192447636019e943fd635f36375fb6... |
☀️ Try build successful - checks-actions |
Queued c3a39b612f192447636019e943fd635f36375fb6 with parent 7dc9ff5, future comparison URL. |
Finished benchmarking try commit (c3a39b612f192447636019e943fd635f36375fb6): comparison url. Benchmarking this pull request likely means that it is perf-sensitive, so we're automatically marking it as not fit for rolling up. Please note that if the perf results are neutral, you should likely undo the rollup=never given below by specifying Importantly, though, if the results of this run are non-neutral do not roll this PR up -- it will mask other regressions or improvements in the roll up. @bors rollup=never |
@bors r+ |
📌 Commit 8657bb2 has been approved by |
Well, can't argue with the benchmark results! |
☀️ Test successful - checks-actions |
See #85360
When we skip adding the sub-obligations to the
obligation
list, we can affect whether or not the final result isEvaluatedToOk
orEvaluatedToOkModuloObligations
. This creates problems for incremental compilation, since the projection cache is untracked shared state.To solve this issue, we unconditionally process the sub-obligations. Surprisingly, this is a slight performance win in many cases.