Skip to content

Remove kw::Empty uses from hir::Lifetime::ident#138965

Merged
bors merged 4 commits into
rust-lang:masterfrom
nnethercote:less-kw-Empty-hir-Lifetime
Mar 28, 2025
Merged

Remove kw::Empty uses from hir::Lifetime::ident#138965
bors merged 4 commits into
rust-lang:masterfrom
nnethercote:less-kw-Empty-hir-Lifetime

Don't use `kw::Empty` in `hir::Lifetime::ident`.

8d2c63f
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs