lampepfl/dotty — pull request #177 by odersky (2014-09-21 16:21:18+00:00)
Title: Fix problem in unapply typing.

GADT bound resetting may only be applied when comparing
<: , not when comparing the
other way around.

The fix revealed an error in a test case (t1048) which looks like a real error.
Therefore the test got moved to neg.

Fixes #175 Review by @DarkDimius