Skip to content

Fix #2142: Skolemize arguments of dependent methods if necessary#2215

Merged
odersky merged 5 commits intoscala:masterfrom
dotty-staging:#2142
Apr 11, 2017

Commits

Commits on Apr 10, 2017