Fix #3989: Fix several unsoundness problems related to variant refinement#4013
Merged
odersky merged 9 commits intoscala:masterfrom Mar 17, 2018
Commits
Commits on Mar 16, 2018
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
