Keep only the trait when emitting the error for MyTrait + 'a

[mu001999]

Fixes #111727

[rustbot]

r? @jackh726

(rustbot has picked a reviewer for you, use r? to override)

[mu001999]

r? @fee1-dead

[mu001999]

r? @cjgillot

[cjgillot]

@bors r+

[bors]

📌 Commit d573838 has been approved by cjgillot

It is now in the queue for this repository.

[bors]

⌛ Testing commit d573838 with merge 9d871b0...

[bors]

☀️ Test successful - checks-actions
Approved by: cjgillot
Pushing 9d871b0 to master...

[rust-timer]

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

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

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: 644.454s -> 644.264s (-0.03%)