Skip to content

Remove unnecessary lifetime from PatInfo.#138377

Merged
bors merged 1 commit intorust-lang:masterfrom
nnethercote:rustc_hir_typeck
Mar 12, 2025

Commits

Commits on Mar 12, 2025