Skip to content

Fix #1009: Do not forget to skolemize some types#1010

Merged
odersky merged 1 commit intoscala:masterfrom
dotty-staging:fix/new-asSeenFrom
Jan 3, 2016

Commits

Commits on Dec 24, 2015