TAITs do not constrain generic params

[compiler-errors]

Fixes #108425

Not sure if I should rework those two failing tests. I guess tests/ui/type-alias-impl-trait/coherence.rs could just have the type parameter removed from it? IDK what tests/ui/type-alias-impl-trait/coherence_generalization.rs is even testing, though.

r? @aliemjay
cc @lcnr @oli-obk (when he's back from 🌴)

[aliemjay]

r=me after the nit

[compiler-errors]

@bors r=aliemjay

[bors]

📌 Commit 5c95e77 has been approved by aliemjay

It is now in the queue for this repository.

[bors]

⌛ Testing commit 5c95e77 with merge e81522a...

[bors]

☀️ Test successful - checks-actions
Approved by: aliemjay
Pushing e81522a to master...

[rust-timer]

Finished benchmarking commit (e81522a): 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)	-	-	0
Regressions ❌ (secondary)	3.7%	[3.7%, 3.7%]	1
Improvements ✅ (primary)	-	-	0
Improvements ✅ (secondary)	-3.2%	[-3.5%, -2.9%]	2
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: 633.873s -> 632.781s (-0.17%)