Skip to content

Pretty-print #[deprecated] attribute in HIR.#138019

Merged
bors merged 1 commit intorust-lang:masterfrom
obi1kenobi:pg/pretty-print-more-attrs
Mar 5, 2025
Merged

Pretty-print `#[deprecated]` attribute in HIR.#138019
bors merged 1 commit intorust-lang:masterfrom
obi1kenobi:pg/pretty-print-more-attrs

Commits

Commits on Mar 5, 2025