Uplift most type-system related error reporting from rustc_infer to rustc_trait_selection

[compiler-errors]

Completes the major part of #127492. The only cleanup that's needed afterwards is to actually use normalization in favor of the callback where needed, and deleting can_eq_shallow.

r? lcnr

Sorry for the large diff! Would prefer if comments can be handled in a follow-up (unless they're absolutely dealbreakers) because it seems bitrotty to let this sit.

[rustbot]

Some changes occurred to the core trait solver

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

Some changes occurred in engine.rs, potentially modifying the public API of ObligationCtxt.

cc @lcnr, @compiler-errors

Some changes occurred in src/tools/clippy

cc @rust-lang/clippy

Some changes occurred to MIR optimizations

cc @rust-lang/wg-mir-opt

[bors]

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

[lcnr]

@bors r+ rollup=never p=1

[bors]

📌 Commit e9e9495 has been approved by lcnr

It is now in the queue for this repository.

[bors]

⌛ Testing commit e9e9495 with merge ae9d85e...

[rust-log-analyzer]

The job x86_64-gnu-aux failed! Check out the build log: (web) (plain)

Click to see the possible cause of the failure (guessed by this bot)

[bors]

💔 Test failed - checks-actions

[compiler-errors]

Due to that rwlock unsoundness it seems

@bors retry

[compiler-errors]

(there's some race condition unsoundness in rwlock that has been fucking up CI)

[bors]

⌛ Testing commit e9e9495 with merge 20f23ab...

[bors]

☀️ Test successful - checks-actions
Approved by: lcnr
Pushing 20f23ab to master...

[rust-timer]

Finished benchmarking commit (20f23ab): 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.2%	[-0.2%, -0.2%]	1
All ❌✅ (primary)	-	-	0

Max RSS (memory usage)

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

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: 771.169s -> 770.41s (-0.10%)
Artifact size: 328.89 MiB -> 328.76 MiB (-0.04%)