Skip to content

Remove unnecessary lifetime from PatInfo.#138377

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

Remove unnecessary lifetime from `PatInfo`.#138377
bors merged 1 commit intorust-lang:masterfrom
nnethercote:rustc_hir_typeck

Commits

Commits on Mar 12, 2025