Skip to content

Pretty-print MIR user types too.#158982

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
cjgillot:pretty-ascribe-user-ty
Jul 13, 2026
Merged

Pretty-print MIR user types too.#158982
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
cjgillot:pretty-ascribe-user-ty