new solver: improve instrument annotations

[lcnr]

No description provided.

[rustbot]

r? @b-naber

(rustbot has picked a reviewer for you, use r? to override)

[rustbot]

Some changes occurred to the core trait solver

cc @rust-lang/initiative-trait-system-refactor

[compiler-errors]

@bors r+

[bors]

📌 Commit 0ec2bf3 has been approved by compiler-errors

It is now in the queue for this repository.

[compiler-errors]

@bors rollup

[bors]

⌛ Testing commit 0ec2bf3 with merge 79049a9...

[bors]

💔 Test failed - checks-actions

[compiler-errors]

@bors treeclosed=100

error parsing HTTP 429 response body: invalid character 'T' looking for beginning of value: "Too Many Requests (HAP429).\n"

@bors retry :(

[compiler-errors]

let's test again

@bors p=101

[bors]

⌛ Testing commit 0ec2bf3 with merge 5c2efcb...

[rust-log-analyzer]

A job failed! Check out the build log: (web) (plain)

Click to see the possible cause of the failure (guessed by this bot)

[RalfJung]

@bors retry

[bors]

⌛ Testing commit 0ec2bf3 with merge 475f6f8...

[rust-log-analyzer]

A job failed! Check out the build log: (web) (plain)

Click to see the possible cause of the failure (guessed by this bot)

[RalfJung]

Oh damn sorry. I saw the log-analyzer message and thought it meant the run had failed. But that message was heavily delayed, this was an error from the run before...

[compiler-errors]

Nah, it was worth checking again. Keeping the tree closed in that case :3

[RalfJung]

Yeah I just canceled and restarted a perfectly good run though. (Look just at the bors messages and ignore the log-analyzer. log-analyzer sometimes has large latency leading to confusing interleaving of messages.) Oh well, too late to do anything about it.

[compiler-errors]

Ohhh I get it. Oh well 🤷 😄

[compiler-errors]

looks like tree can be opened

@bors treeclosed-

[compiler-errors]

@bors ping

[bors]

😪 I'm awake I'm awake

[bors]

☀️ Test successful - checks-actions
Approved by: compiler-errors
Pushing 475f6f8 to master...

[rust-timer]

Finished benchmarking commit (475f6f8): comparison URL.

Overall result: no relevant changes - no action needed

@rustbot label: -perf-regression

Instruction count

This benchmark run did not return any relevant results for this metric.

Max RSS (memory usage)

Results

This is a less reliable metric that may be of interest but was not used to determine the overall result at the top of this comment.

	mean	range	count
Regressions ❌ (primary)	3.5%	[2.6%, 4.4%]	2
Regressions ❌ (secondary)	3.9%	[3.9%, 3.9%]	1
Improvements ✅ (primary)	-	-	0
Improvements ✅ (secondary)	-4.7%	[-4.7%, -4.7%]	1
All ❌✅ (primary)	3.5%	[2.6%, 4.4%]	2

Cycles

Results

This is a less reliable metric that may be of interest but was not used to determine the overall result at the top of this comment.

	mean	range	count
Regressions ❌ (primary)	-	-	0
Regressions ❌ (secondary)	-	-	0
Improvements ✅ (primary)	-	-	0
Improvements ✅ (secondary)	-2.3%	[-2.3%, -2.3%]	1
All ❌✅ (primary)	-	-	0

Binary size

This benchmark run did not return any relevant results for this metric.

Bootstrap: 673.247s -> 675.01s (0.26%)
Artifact size: 313.38 MiB -> 313.40 MiB (0.01%)