[Dnreikronos]

Fixes #162882

With &dyn Error, the object lifetime defaults to the borrow's lifetime. Calling is needs a 'static object, but E0521 points at the borrow and makes it look like the reference has to be 'static too. Adding + 'static to the object is enough for the example in the issue.

This suggests &(dyn Error + 'static) for the parameter and explains the implicit lifetime in the same help message, as requested in the issue. I think keeping the reason next to the edit makes the fix much easier to understand. When the trait's bounds supply the lifetime, the message explains that too.

I kept the suggestion to arguments passed directly from parameters. The checks also look at the callee's bounds and the lifetimes in trait arguments, to avoid suggesting an object bound when the borrow itself needs to be 'static or those trait lifetimes don't match. If the edit would make an elided return lifetime ambiguous, the diagnostic gives a note instead.

[rustbot]

r? @folkertdev

rustbot has assigned @folkertdev.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

Why was this reviewer chosen?

The reviewer was selected based on:

• Owners of files modified in this PR: compiler
• compiler expanded to 77 candidates
• Random selection from 20 candidates

[rustbot]

This PR was rebased onto a different main commit. Here's a range-diff highlighting what actually changed.

Rebasing is a normal part of keeping PRs up to date, so no action is needed—this note is just to help reviewers.