Skip to content

Fix #4811: Widen private[this]/protected[this] just before Flatten#4814

Merged
allanrenucci merged 1 commit intoscala:masterfrom
dotty-staging:fix-4811
Jul 24, 2018
Merged

Fix #4811: Widen private[this]/protected[this] just before Flatten#4814
allanrenucci merged 1 commit intoscala:masterfrom
dotty-staging:fix-4811

Commits

Commits on Jul 24, 2018