diff options
| author | bors <bors@rust-lang.org> | 2025-06-05 19:49:30 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2025-06-05 19:49:30 +0000 |
| commit | ccf3198de316b488ee17441935182e9d5292b4d3 (patch) | |
| tree | 0d6d7fde04921baf3b9edc84b906541c6590a8b3 /compiler/rustc_const_eval/src/interpret/call.rs | |
| parent | 076ec59ff1dcf538b9d3a0b8e0d7f4edd0559959 (diff) | |
| parent | d35ad948492146f0811d43606db66c65c55980a9 (diff) | |
| download | rust-ccf3198de316b488ee17441935182e9d5292b4d3.tar.gz rust-ccf3198de316b488ee17441935182e9d5292b4d3.zip | |
Auto merge of #138677 - shepmaster:consistent-elided-lifetime-syntax, r=traviscross,jieyouxu
Add a new `mismatched-lifetime-syntaxes` lint
The lang-team [discussed this](https://hackmd.io/nf4ZUYd7Rp6rq-1svJZSaQ) and I attempted to [summarize](https://github.com/rust-lang/rust/pull/120808#issuecomment-2701863833) their decision. The summary-of-the-summary is:
- Using two different kinds of syntax for elided lifetimes is confusing. In rare cases, it may even [lead to unsound code](https://github.com/rust-lang/rust/issues/48686)! Some examples:
```rust
// Lint will warn about these
fn(v: ContainsLifetime) -> ContainsLifetime<'_>;
fn(&'static u8) -> &u8;
```
- Matching up references with no lifetime syntax, references with anonymous lifetime syntax, and paths with anonymous lifetime syntax is an exception to the simplest possible rule:
```rust
// Lint will not warn about these
fn(&u8) -> &'_ u8;
fn(&'_ u8) -> &u8;
fn(&u8) -> ContainsLifetime<'_>;
```
- Having a lint for consistent syntax of elided lifetimes will make the [future goal](https://github.com/rust-lang/rust/issues/91639) of warning-by-default for paths participating in elision much simpler.
---
This new lint attempts to accomplish the goal of enforcing consistent syntax. In the process, it supersedes and replaces the existing `elided-named-lifetimes` lint, which means it starts out life as warn-by-default.
Diffstat (limited to 'compiler/rustc_const_eval/src/interpret/call.rs')
0 files changed, 0 insertions, 0 deletions
