Skip to content

Remove unused PpMode::needs_hir#137975

Merged
bors merged 1 commit intorust-lang:masterfrom
Zalathar:needs-hir
Mar 5, 2025
Merged

Remove unused `PpMode::needs_hir`#137975
bors merged 1 commit intorust-lang:masterfrom
Zalathar:needs-hir

Commits

Commits on Mar 4, 2025