Skip to content

Use Option<Ident> for lowered param names.#138685

Merged
bors merged 1 commit intorust-lang:masterfrom
nnethercote:use-Option-Ident-for-lowered-param-names
Mar 21, 2025

Commits

Commits on Mar 19, 2025