Skip to content

Fix #3917: Properly desugar Ident#3925

Merged
allanrenucci merged 3 commits intoscala:masterfrom
dotty-staging:fix-3917
Jan 30, 2018
Merged

Fix #3917: Properly desugar `Ident`#3925
allanrenucci merged 3 commits intoscala:masterfrom
dotty-staging:fix-3917

Commits

Commits on Jan 26, 2018

Commits on Jan 27, 2018

Commits on Jan 30, 2018