Uplift TraitRef into rustc_type_ir

[compiler-errors]

Emotional rollercoaster

r? lcnr

[rustbot]

Some changes occurred to the core trait solver

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

Some changes occurred in src/tools/clippy

cc @rust-lang/clippy

HIR ty lowering was modified

cc @fmease

changes to the core type system

cc @compiler-errors, @lcnr

[lcnr]

can you move these bounds to where-clauses

[lcnr]

cool, r=me after nits

[lcnr]

@bors r+ rollup=iffy

[bors]

📌 Commit b55d8a3 has been approved by lcnr

It is now in the queue for this repository.

[bors]

⌛ Testing commit b55d8a3 with merge 19dacee...

[bors]

☀️ Test successful - checks-actions
Approved by: lcnr
Pushing 19dacee to master...

[rust-timer]

Finished benchmarking commit (19dacee): 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)	2.0%	[2.0%, 2.0%]	1
Regressions ❌ (secondary)	-	-	0
Improvements ✅ (primary)	-3.7%	[-3.7%, -3.7%]	1
Improvements ✅ (secondary)	-	-	0
All ❌✅ (primary)	-0.8%	[-3.7%, 2.0%]	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.8%	[-0.8%, -0.8%]	1
Improvements ✅ (secondary)	-	-	0
All ❌✅ (primary)	-0.8%	[-0.8%, -0.8%]	1

Binary size

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

Bootstrap: 673.586s -> 673.18s (-0.06%)
Artifact size: 315.84 MiB -> 315.98 MiB (0.04%)