Skip to content

Fix #2578: (part 2) Make for-generators filter only if prefixed with case.#6448

Merged
odersky merged 14 commits intoscala:masterfrom
dotty-staging:add-case-for
May 15, 2019
Merged

Fix #2578: (part 2) Make for-generators filter only if prefixed with `case`.#6448
odersky merged 14 commits intoscala:masterfrom
dotty-staging:add-case-for

Commits

Commits on May 15, 2019