Skip to content

Use a LocalDefId in ResolvedArg.#129386

Merged
bors merged 1 commit intorust-lang:masterfrom
cjgillot:local-resolved-arg
Aug 23, 2024

Commits

Commits on Aug 22, 2024