Reland #74069

[Mark-Simulacrum]

Investigation in #74716 has concluded that this PR is indeed not a regression (and in fact the rollup itself is not either).

This reverts the revert in #74611.

r? @nnethercote cc @eddyb

[Mark-Simulacrum]

@bors try @rust-timer queue

Let's double check just in case that this is indeed performance neutral.

[rust-timer]

Awaiting bors try build completion

[bors]

⌛ Trying commit 144b159 with merge 93a1b4821b7cb7b883a996d4787c3fd60fb4fe47...

[bors]

☀️ Try build successful - checks-actions, checks-azure
Build commit: 93a1b4821b7cb7b883a996d4787c3fd60fb4fe47 (93a1b4821b7cb7b883a996d4787c3fd60fb4fe47)

[rust-timer]

Queued 93a1b4821b7cb7b883a996d4787c3fd60fb4fe47 with parent c709862, future comparison URL.

[rust-timer]

Finished benchmarking try commit (93a1b4821b7cb7b883a996d4787c3fd60fb4fe47): 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 rollup- to bors.

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

[nnethercote]

Perf effects are minimal, if anything a tiny improvement.

[Mark-Simulacrum]

@nnethercote or @eddyb, I think this is good to go, would someone mind r+ing?

[nnethercote]

@bors r+

[bors]

📌 Commit 144b159 has been approved by nnethercote

[bors]

⌛ Testing commit 144b159 with merge 873fc46...

[bors]

☀️ Test successful - checks-actions, checks-azure
Approved by: nnethercote
Pushing 873fc46 to master...