Skip to content

When pretty printing, name placeholders as bound regions#87246

Merged
bors merged 1 commit intomasterfrom
placeholder-pretty
Jul 22, 2021
Merged

When pretty printing, name placeholders as bound regions#87246
bors merged 1 commit intomasterfrom
placeholder-pretty

Commits

Commits on Jul 18, 2021