Skip to content

Remove pretty_ty and use rustc_public's formatter instead - #4243

Merged
carolynzech merged 1 commit into
model-checking:mainfrom
tautschnig:no-pretty_ty
Jul 29, 2025
Merged

Remove pretty_ty and use rustc_public's formatter instead#4243
carolynzech merged 1 commit into
model-checking:mainfrom
tautschnig:no-pretty_ty

Remove `pretty_ty` and use rustc_public's formatter instead

a216542
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs