Don't pass InferCtxt to WfPredicates

[jackh726]

Simple cleanup. Infer vars will get passed up as obligations and shallowed resolved later. This actually improves one test output.

[rust-highfive]

r? @estebank

(rust-highfive has picked a reviewer for you, use r? to override)

[jackh726]

@bors try @rust-timer queue

[rust-timer]

Awaiting bors try build completion.

@rustbot label: +S-waiting-on-perf

[bors]

⌛ Trying commit a479f23 with merge 5f4f158619a82a66eb63eba25dff58f186ed4083...

[bors]

☀️ Try build successful - checks-actions
Build commit: 5f4f158619a82a66eb63eba25dff58f186ed4083 (5f4f158619a82a66eb63eba25dff58f186ed4083)

[rust-timer]

Queued 5f4f158619a82a66eb63eba25dff58f186ed4083 with parent c396bb3, future comparison URL.

[rust-timer]

Finished benchmarking commit (5f4f158619a82a66eb63eba25dff58f186ed4083): comparison url.

Instruction count

• Primary benchmarks: no relevant changes found
• Secondary benchmarks: 😿 relevant regressions found

	mean1	max	count2
Regressions 😿 (primary)	N/A	N/A	0
Regressions 😿 (secondary)	1.4%	1.6%	6
Improvements 🎉 (primary)	N/A	N/A	0
Improvements 🎉 (secondary)	N/A	N/A	0
All 😿🎉 (primary)	N/A	N/A	0

Max RSS (memory usage)

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

Cycles

Results

• Primary benchmarks: 🎉 relevant improvement found
• Secondary benchmarks: mixed results

	mean1	max	count2
Regressions 😿 (primary)	N/A	N/A	0
Regressions 😿 (secondary)	2.8%	2.8%	1
Improvements 🎉 (primary)	-3.3%	-3.3%	1
Improvements 🎉 (secondary)	-2.4%	-2.4%	1
All 😿🎉 (primary)	-3.3%	-3.3%	1

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

Benchmarking this pull request likely means that it is perf-sensitive, so we're automatically marking it as not fit for rolling up. While you can manually mark this PR as fit for rollup, we strongly recommend not doing so since this PR may lead to changes in compiler perf.

@bors rollup=never
@rustbot label: +S-waiting-on-review -S-waiting-on-perf -perf-regression

Footnotes

1. the arithmetic mean of the percent change ↩ ↩²

2. number of relevant changes ↩ ↩²

[estebank]

@bors r+

[bors]

📌 Commit a479f23 has been approved by estebank

It is now in the queue for this repository.

[bors]

⌛ Testing commit a479f23 with merge 2fa64d0...

[bors]

☀️ Test successful - checks-actions
Approved by: estebank
Pushing 2fa64d0 to master...

[rust-timer]

Finished benchmarking commit (2fa64d0): comparison url.

Instruction count

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

Max RSS (memory usage)

Results

• Primary benchmarks: 😿 relevant regression found
• Secondary benchmarks: 😿 relevant regression found

	mean1	max	count2
Regressions 😿 (primary)	6.7%	6.7%	1
Regressions 😿 (secondary)	2.2%	2.2%	1
Improvements 🎉 (primary)	N/A	N/A	0
Improvements 🎉 (secondary)	N/A	N/A	0
All 😿🎉 (primary)	6.7%	6.7%	1

Cycles

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

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

@rustbot label: -perf-regression

Footnotes

1. the arithmetic mean of the percent change ↩

2. number of relevant changes ↩