Skip to content

Remove Path::is_ident.#141945

Merged
bors merged 1 commit intorust-lang:masterfrom
nnethercote:rm-Path-is_ident
Jun 4, 2025
Merged

Remove `Path::is_ident`.#141945
bors merged 1 commit intorust-lang:masterfrom
nnethercote:rm-Path-is_ident

Commits

Commits on Jun 3, 2025