Skip to content

Renaming '_ should unelide the lifetime #19260

Closed
#22178
Closed
Renaming '_ should unelide the lifetime#19260
#22178
Assignees
Shourya742
Labels
A-idegeneral IDE featuresC-featureCategory: feature request
@Veykril

Description

@Veykril
Veykril
opened on Mar 2, 2025

Effectively it should work like introduce_named_lifetime works today

Metadata

Metadata

Assignees

Labels

A-idegeneral IDE featuresC-featureCategory: feature request

Type

No type

Fields

No fields configured for issues without a type.

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions