Let inherent associated types constrain opaque types during projection

[oli-obk]

r? @compiler-errors

The same test ICEs on master: https://play.rust-lang.org/?version=nightly&mode=debug&edition=2021&gist=f4ff62663a5a3a0e16d00953ee7414d5

[compiler-errors]

@bors r+

[bors]

📌 Commit dadece0 has been approved by compiler-errors

It is now in the queue for this repository.

[bors]

⌛ Testing commit dadece0 with merge db701c2...

[bors]

☀️ Test successful - checks-actions
Approved by: compiler-errors
Pushing db701c2 to master...

[rust-timer]

Finished benchmarking commit (db701c2): 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)	5.6%	[5.6%, 5.6%]	1
Regressions ❌ (secondary)	-	-	0
Improvements ✅ (primary)	-	-	0
Improvements ✅ (secondary)	-	-	0
All ❌✅ (primary)	5.6%	[5.6%, 5.6%]	1

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)	7.1%	[7.1%, 7.1%]	1
Improvements ✅ (primary)	-	-	0
Improvements ✅ (secondary)	-2.2%	[-2.2%, -2.2%]	1
All ❌✅ (primary)	-	-	0

Binary size

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

Bootstrap: 671.274s -> 671.581s (0.05%)
Artifact size: 315.25 MiB -> 315.30 MiB (0.01%)