Rollup of 7 pull requests

[matthiaskrgr]

Successful merges:

• Detect when trait is implemented for type and suggest importing it #116862 (Detect when trait is implemented for type and suggest importing it)
• Some diagnostics improvements of gen blocks #117389 (Some diagnostics improvements of gen blocks)
• Don't treat closures/coroutine types as part of the public API #117396 (Don't treat closures/coroutine types as part of the public API)
• Correctly handle nested or-patterns in exhaustiveness #117398 (Correctly handle nested or-patterns in exhaustiveness)
• Poison check_well_formed if method receivers are invalid to prevent typeck from running on it #117403 (Poison check_well_formed if method receivers are invalid to prevent typeck from running on it)
• Improve some diagnostics around ?Trait bounds #117411 (Improve some diagnostics around ?Trait bounds)
• Don't normalize to an un-revealed opaque when we hit the recursion limit #117414 (Don't normalize to an un-revealed opaque when we hit the recursion limit)

r? @ghost
@rustbot modify labels: rollup

Create a similar rollup

[matthiaskrgr]

@bors r+ rollup=never p=7

[bors]

📌 Commit c5aec96 has been approved by matthiaskrgr

It is now in the queue for this repository.

[bors]

⌛ Testing commit c5aec96 with merge 31bc7e2...

[bors]

☀️ Test successful - checks-actions
Approved by: matthiaskrgr
Pushing 31bc7e2 to master...

[rust-timer]

📌 Perf builds for each rolled up PR:

PR#	Message	Perf Build Sha
#116862	Detect when trait is implemented for type and suggest impor…	d19556f97f27b6570e08ed80ca6d9d79dac631e9 (link)
#117389	Some diagnostics improvements of gen blocks	9c790a1b83dc06e6580734014f0d972067fc35be (link)
#117396	Don't treat closures/coroutine types as part of the public …	c89c174073e082abc8f9964b862066107a32ae5e (link)
#117398	Correctly handle nested or-patterns in exhaustiveness	093bc99510aeb5b59e92793d202f49608e94ed0c (link)
#117403	Poison check_well_formed if method receivers are invalid to…	f0600f1dd3c7e926f8e390d9dad63227acc71e6e (link)
#117411	Improve some diagnostics around ?Trait bounds	26f1522cbddee4db69e99b88754e13dc05e4e9bd (link)
#117414	Don't normalize to an un-revealed opaque when we hit the re…	749a76ef85173b2e72dc7c07fd97aefaab6b32cf (link)

previous master: 236ac911de

In the case of a perf regression, run the following command for each PR you suspect might be the cause: @rust-timer build $SHA

[rust-timer]

Finished benchmarking commit (31bc7e2): 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)

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

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

Binary size

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

Bootstrap: 635.333s -> 636.607s (0.20%)
Artifact size: 304.43 MiB -> 304.46 MiB (0.01%)