lampepfl/dotty — pull request #278 by odersky (2014-12-13 13:10:29+00:00)
Title: Fix #248: Class cannot inherit from refinement types

We now check that classes do not inherit from refinement types
(unless they are encodings of parameterized types), nor from
& or | types.

Review by @smarter.