Keep going if normalized projection has unevaluated consts in QueryNormalizer

[compiler-errors]

#100312 was the wrong approach, I think this is the right one.

When normalizing a type, if we see that it's a projection, we currently defer to tcx.normalize_projection_ty, which normalizes the projections away but doesn't touch the unevaluated constants. So now we just continue to fold the type if it has unevaluated constants so we make sure to evaluate those too, if we can.

Fixes #100217
Fixes #83972
Fixes #84669
Fixes #86710
Fixes #82268
Fixes #73298

[rust-highfive]

r? @oli-obk

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

[lcnr]

r? @lcnr

[compiler-errors]

@bors r=lcnr rollup=never

[bors]

📌 Commit d2667e4 has been approved by lcnr

It is now in the queue for this repository.

[bors]

⌛ Testing commit d2667e4 with merge aeb5067...

[bors]

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

[rust-timer]

Finished benchmarking commit (aeb5067): comparison url.

Instruction count

• Primary benchmarks: no relevant changes found
• Secondary benchmarks: ❌ relevant regression found

	mean1	max	count2
Regressions ❌ (primary)	-	-	0
Regressions ❌ (secondary)	1.5%	1.5%	1
Improvements ✅ (primary)	-	-	0
Improvements ✅ (secondary)	-	-	0
All ❌✅ (primary)	-	-	0

Max RSS (memory usage)

Results

• Primary benchmarks: no relevant changes found
• Secondary benchmarks: ✅ relevant improvement found

	mean1	max	count2
Regressions ❌ (primary)	-	-	0
Regressions ❌ (secondary)	-	-	0
Improvements ✅ (primary)	-	-	0
Improvements ✅ (secondary)	-4.0%	-4.0%	1
All ❌✅ (primary)	-	-	0

Cycles

Results

• Primary benchmarks: no relevant changes found
• Secondary benchmarks: ❌ relevant regression found

	mean1	max	count2
Regressions ❌ (primary)	-	-	0
Regressions ❌ (secondary)	3.5%	3.5%	1
Improvements ✅ (primary)	-	-	0
Improvements ✅ (secondary)	-	-	0
All ❌✅ (primary)	-	-	0

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 ↩ ↩² ↩³