Skip to content

Conversation

JakobDegen
Copy link
Contributor

This was discussed on Zulip. Details about motivation and such can be found there

r? @oli-obk

@rustbot rustbot added the T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. label Apr 22, 2022
@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Apr 22, 2022
@oli-obk oli-obk added the A-mir-opt Area: MIR optimizations label Apr 23, 2022
@oli-obk
Copy link
Contributor

oli-obk commented Apr 23, 2022

@bors r+ rollup

@bors
Copy link
Collaborator

bors commented Apr 23, 2022

📌 Commit ae7d6fa has been approved by oli-obk

@bors bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Apr 23, 2022
@bors
Copy link
Collaborator

bors commented Apr 23, 2022

⌛ Testing commit ae7d6fa with merge de1026a...

@bors
Copy link
Collaborator

bors commented Apr 23, 2022

☀️ Test successful - checks-actions
Approved by: oli-obk
Pushing de1026a to master...

@bors bors added the merged-by-bors This PR was explicitly merged by bors. label Apr 23, 2022
@bors bors merged commit de1026a into rust-lang:master Apr 23, 2022
@rustbot rustbot added this to the 1.62.0 milestone Apr 23, 2022
@rust-timer
Copy link
Collaborator

Finished benchmarking commit (de1026a): comparison url.

Summary: This benchmark run did not return any relevant results.

If you disagree with this performance assessment, please file an issue in rust-lang/rustc-perf.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
A-mir-opt Area: MIR optimizations merged-by-bors This PR was explicitly merged by bors. S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

6 participants