Allow specializing on const trait bounds

[fee1-dead]

No description provided.

[rust-highfive]

r? @estebank

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

[oli-obk]

Does this enable implementing a trait non constly and constly for the same type? Either way, please add a test for that

[fee1-dead]

Done.

[oli-obk]

@bors r+

[bors]

📌 Commit 36e8c11 has been approved by oli-obk

It is now in the queue for this repository.

[bors]

⌛ Testing commit 36e8c11 with merge 21265dd...

[bors]

☀️ Test successful - checks-actions
Approved by: oli-obk
Pushing 21265dd to master...

[rust-timer]

Finished benchmarking commit (21265dd): 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.

	mean1	range	count2
Regressions ❌ (primary)	-	-	0
Regressions ❌ (secondary)	3.2%	[3.2%, 3.2%]	1
Improvements ✅ (primary)	-	-	0
Improvements ✅ (secondary)	-	-	0
All ❌✅ (primary)	-	-	0

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.

	mean1	range	count2
Regressions ❌ (primary)	-	-	0
Regressions ❌ (secondary)	-	-	0
Improvements ✅ (primary)	-2.7%	[-2.7%, -2.7%]	1
Improvements ✅ (secondary)	-	-	0
All ❌✅ (primary)	-2.7%	[-2.7%, -2.7%]	1

Footnotes

1. the arithmetic mean of the percent change ↩ ↩²

2. number of relevant changes ↩ ↩²