Select obligations before processing wf obligation in compare_method_predicate_entailment

[compiler-errors]

We need to select obligations before processing the WF obligation for the IMPLIED_BOUNDS_ENTAILMENT lint, since it skips over type variables.

Fixes #114783

r? @jackh726

[jackh726]

@bors r+

[bors]

📌 Commit b6b5a65 has been approved by jackh726

It is now in the queue for this repository.

[bors]

⌛ Testing commit b6b5a65 with merge 3071e0a...

[bors]

☀️ Test successful - checks-actions
Approved by: jackh726
Pushing 3071e0a to master...

[rust-timer]

Finished benchmarking commit (3071e0a): comparison URL.

Overall result: ✅ improvements - no action needed

@rustbot label: -perf-regression

Instruction count

This is a highly reliable metric that was 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)	-0.4%	[-0.4%, -0.4%]	2
All ❌✅ (primary)	-	-	0

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.2%	[2.2%, 4.3%]	5
Improvements ✅ (primary)	-	-	0
Improvements ✅ (secondary)	-	-	0
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: 632.781s -> 633.194s (0.07%)