Fix #7195: Use superscripts instead of `'` for duplicated types#7511

Merged

anatoliykmetyuk merged 1 commit intoscala:masterfrom

dotty-staging:fix-#7195

Nov 7, 2019

Commits on Nov 7, 2019

Fix #7195: Use superscripts instead of `'` for duplicated types
nicolasstucki
committed