Don't manually compute param indices when adding implicit Sized and ConstParamHasTy

[compiler-errors]

We can just use resolve_bound_vars to compute these indices faithfully.

This also makes the code easier to support where clauses on non_lifetime_binders (like where for<T: Debug> ..., etc, which I've got a WIP implementation of).

r? @cjgillot

[cjgillot]

@bors r+

[bors]

📌 Commit c5d0f6c has been approved by cjgillot

It is now in the queue for this repository.

[bors]

⌛ Testing commit c5d0f6c with merge 53a0397...

[bors]

☀️ Test successful - checks-actions
Approved by: cjgillot
Pushing 53a0397 to master...

[rust-timer]

Finished benchmarking commit (53a0397): 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.3%	[-0.5%, -0.2%]	5
Improvements ✅ (secondary)	-0.5%	[-0.6%, -0.4%]	2
All ❌✅ (primary)	-0.3%	[-0.5%, -0.2%]	5

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)	-	-	0
Improvements ✅ (primary)	-2.0%	[-2.7%, -1.2%]	2
Improvements ✅ (secondary)	-1.4%	[-1.4%, -1.4%]	1
All ❌✅ (primary)	-2.0%	[-2.7%, -1.2%]	2

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: 630.051s -> 628.237s (-0.29%)
Artifact size: 316.64 MiB -> 316.75 MiB (0.04%)