Skip to content

Improve E0571 wording#72077

Merged
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:cleanup-E0571
May 12, 2020
Merged

Improve E0571 wording#72077
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:cleanup-E0571

Commits

Commits on May 10, 2020