add ecx.probe_candidate

[lcnr]

Not yet changing the candidate source to an enum because that would be more involved, but this by itself should already be a significant improvement imo

r? @BoxyUwU

[rustbot]

Some changes occurred to the core trait solver

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

[BoxyUwU]

@bors r+ rollup=never

[bors]

📌 Commit 795c2ef has been approved by BoxyUwU

It is now in the queue for this repository.

[bors]

⌛ Testing commit 795c2ef with merge 9227ff2...

[bors]

☀️ Test successful - checks-actions
Approved by: BoxyUwU
Pushing 9227ff2 to master...

[rust-timer]

Finished benchmarking commit (9227ff2): 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)	-	-	0
Regressions ❌ (secondary)	3.5%	[3.2%, 3.8%]	2
Improvements ✅ (primary)	-	-	0
Improvements ✅ (secondary)	-2.2%	[-2.2%, -2.2%]	1
All ❌✅ (primary)	-	-	0

Cycles

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

Binary size

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

Bootstrap: 653.897s -> 654.835s (0.14%)

[BoxyUwU]

I uhh think this can be closed now since it got merged lol?