Rollup of 5 pull requests

[matthiaskrgr]

Successful merges:

• Bump COINDUCTIVE_OVERLAP_IN_COHERENCE to deny + warn in deps #116493 (Bump COINDUCTIVE_OVERLAP_IN_COHERENCE to deny + warn in deps)
• Don't ICE when encountering unresolved regions in fully_resolve #116663 (Don't ICE when encountering unresolved regions in fully_resolve)
• Avoid having rustc_smir depend on rustc_interface or rustc_driver #116837 (Avoid having rustc_smir depend on rustc_interface or rustc_driver)
• Change my name in mailmap #116883 (Change my name in mailmap)
• Only check in a single place if a pass is enabled. #116896 (Only check in a single place if a pass is enabled.)

r? @ghost
@rustbot modify labels: rollup

Create a similar rollup

[matthiaskrgr]

@bors r+ rollup=never p=5

[bors]

📌 Commit a76ab3e has been approved by matthiaskrgr

It is now in the queue for this repository.

[rust-log-analyzer]

The job x86_64-gnu-llvm-15 failed! Check out the build log: (web) (plain)

Click to see the possible cause of the failure (guessed by this bot)

GITHUB_ENV=/home/runner/work/_temp/_runner_file_commands/set_env_dc38a058-8792-4229-8d5a-1614079e6def
GITHUB_EVENT_NAME=pull_request
GITHUB_EVENT_PATH=/home/runner/work/_temp/_github_workflow/event.json
GITHUB_GRAPHQL_URL=https://api.github.com/graphql
GITHUB_HEAD_REF=rollup-pz0bv2h
GITHUB_JOB=pr
GITHUB_PATH=/home/runner/work/_temp/_runner_file_commands/add_path_dc38a058-8792-4229-8d5a-1614079e6def
GITHUB_REF=refs/pull/116901/merge
GITHUB_REF_NAME=116901/merge
GITHUB_REF_PROTECTED=false
---

+ warning: the feature `async_fn_in_trait` has been stable since 1.75.0-nightly and no longer requires an attribute to enable
+   --> $DIR/unconstrained-impl-region.rs:3:12
+    |
+ LL | #![feature(async_fn_in_trait)]
+    |
+    = note: `#[warn(stable_features)]` on by default
+ 
+ 
1 error[E0207]: the lifetime parameter `'a` is not constrained by the impl trait, self type, or predicates
3    |


4 LL | impl<'a> Actor for () {
5    |      ^^ unconstrained lifetime parameter
- error: aborting due to previous error
+ error: aborting due to previous error; 1 warning emitted
8 
9 For more information about this error, try `rustc --explain E0207`.
---
--- stderr -------------------------------
warning: the feature `async_fn_in_trait` has been stable since 1.75.0-nightly and no longer requires an attribute to enable
##[warning]  --> /checkout/tests/ui/async-await/in-trait/unconstrained-impl-region.rs:3:12
   |
LL | #![feature(async_fn_in_trait)]
   |
   = note: `#[warn(stable_features)]` on by default


error[E0207]: the lifetime parameter `'a` is not constrained by the impl trait, self type, or predicates
   |
   |
LL | impl<'a> Actor for () {
   |      ^^ unconstrained lifetime parameter
error: aborting due to previous error; 1 warning emitted

For more information about this error, try `rustc --explain E0207`.
------------------------------------------