Tracking issue for '_

[nikomatsakis]

This is a sub-issue of #44524, tracking the desire to stabilize '_ (and the lints around its usage).

Covered areas

The '_ can be used anywhere that a region can be elided. It (typically) carries the same meaning as having no region at all. This section summarizes its usage, giving pointers to tests, and also listing known blocking issues.

• fn foo(x: Ref<'_>) -- fresh name
• fn foo(&self) -> Ref<'_> -- links to self
• fn foo(&self) -> Box<dyn Debug + '_> -- links to self, not quite the same as Box<dyn Debug>
  • blocked on behavior of '_ around dyn Trait is wrong #48468
• fn foo(&self) -> Box<impl Debug + '_> -- links to self, not quite the same as Box<impl Debug>

Some areas where elision ought to be supported are not yet:

• impl Foo for Ref<'_> -- not yet implemented, this is Tracking issue for lifetime elision for impl headers (feature impl_header_lifetime_elision) #15872
• where T: Trait<'_> -- not yet implemented, this is enable elision in where-clauses on functions #45667
  • also, what semantics are desired here? Where is the binder?

There are also several linted scenarios to nudge the user in the right direction:

• Eliding parameters of a lifetime-parameterized struct (e.g., Ref) is deprecated, prefer Ref<'_>
  • #[warn(elided_lifetimes_in_paths)]
  • blocked on elided_lifetime_in_path triggers for the format! macro #48385 -- triggers for format!
• Lifetime names used only once are deprecated:
  • #[warn(single_use_lifetime)]
  • blocked on In-band lifetimes: Lint against single-use lifetime names #44752 -- only partially impemented

Changes or clarifications to the RFC

The behavior around dyn Trait is probably worth highlighting, since it is one case where '_ differs from writing nothing at all.

[nikomatsakis]

@rfcbot fcp merge

I want to propose that we stabilize '_, with the semantics as given in the header of this post. Note however that there are some blocking issues that must be resolved (cited in the header) before stabilization can actually occur. But those don't need to block us making the decision to stabilize.

[rfcbot]

Team member @nikomatsakis has proposed to merge this. The next step is review by the rest of the tagged teams:

• @aturon
• @cramertj
• @eddyb
• @nikomatsakis
• @nrc
• @pnkfelix
• @withoutboats

No concerns currently listed.

Once a majority of reviewers approve (and none object), this will enter its final comment period. If you spot a major issue that hasn't been raised at any point in this process, please speak up!

See this document for info about what commands tagged team members can give me.

[rfcbot]

🔔 This is now entering its final comment period, as per the review above. 🔔

[rfcbot]

The final comment period is now complete.

[steveklabnik]

was this closed by #49458 ?

[nikomatsakis]

Seems like...yes.