Fix #1754: Don't narrow GADTs to lower bounds#3918
Merged
odersky merged 13 commits intoscala:masterfrom Feb 3, 2018
Commits
Commits on Feb 2, 2018
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Feb 3, 2018
- committed