Skip to content

Remove unnecessary lifetime from PatInfo.#138377

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

Commits

Commits on Mar 12, 2025