Migrate TyCtxt::predicates_of and ParamEnv::caller_bounds to Clause

[compiler-errors]

The last big change in the series.

I will follow-up with additional filed issues once this PR lands:

• Investigate making TypeFoldable<TyCtxt<'tcx>> for ty::Clause<'tcx> implementation less weird:

  rust/compiler/rustc_middle/src/ty/structural_impls.rs

  Line 672 in 2efe091

  .expect("no sensible folder would do this"))

• Clean up the elaborator since it should only be emitting child clauses, not predicates
• Rename identifiers like pred and predicates to clause if they're actually clauses around the codebase
• Validate that all of the ToPredicate impls are acutally still needed, or prune them if they're not

r? @ghost until the other branch lands

[rustbot]

Some changes occurred to the core trait solver

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

Some changes occurred in const_evaluatable.rs

cc @BoxyUwU

Some changes occurred in src/tools/clippy

cc @rust-lang/clippy

Some changes occurred to MIR optimizations

cc @rust-lang/wg-mir-opt

[compiler-errors]

r? @oli-obk or @lcnr

[bors]

☔ The latest upstream changes (presumably #112987) made this pull request unmergeable. Please resolve the merge conflicts.

[oli-obk]

r=me after rebase

[compiler-errors]

@bors r=oli-obk

[bors]

📌 Commit 374173c has been approved by oli-obk

It is now in the queue for this repository.

[bors]

⌛ Testing commit 374173c with merge b5e51db...

[bors]

☀️ Test successful - checks-actions
Approved by: oli-obk
Pushing b5e51db to master...

[rust-timer]

Finished benchmarking commit (b5e51db): comparison URL.

Overall result: ❌✅ regressions and improvements - ACTION NEEDED

Next Steps: If you can justify the regressions found in this perf run, please indicate this with @rustbot label: +perf-regression-triaged along with sufficient written justification. If you cannot justify the regressions please open an issue or create a new PR that fixes the regressions, add a comment linking to the newly created issue or PR, and then add the perf-regression-triaged label to this PR.

@rustbot label: +perf-regression
cc @rust-lang/wg-compiler-performance

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.5%	[0.5%, 0.5%]	1
Regressions ❌ (secondary)	-	-	0
Improvements ✅ (primary)	-0.9%	[-1.3%, -0.7%]	6
Improvements ✅ (secondary)	-	-	0
All ❌✅ (primary)	-0.7%	[-1.3%, 0.5%]	7

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)	1.7%	[1.0%, 2.5%]	11
Regressions ❌ (secondary)	2.8%	[2.6%, 3.0%]	3
Improvements ✅ (primary)	-	-	0
Improvements ✅ (secondary)	-	-	0
All ❌✅ (primary)	1.7%	[1.0%, 2.5%]	11

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)	4.5%	[1.5%, 8.6%]	8
Regressions ❌ (secondary)	-	-	0
Improvements ✅ (primary)	-3.6%	[-4.2%, -3.0%]	3
Improvements ✅ (secondary)	-3.0%	[-4.4%, -2.0%]	5
All ❌✅ (primary)	2.3%	[-4.2%, 8.6%]	11

Binary size

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

Bootstrap: 661.833s -> 661.464s (-0.06%)

[lqd]

cargo and bitmaps noise, stabilizing from the previous merge.

@rustbot label: +perf-regression-triaged