aboutsummaryrefslogtreecommitdiff
path: root/tests/neg/i0248-inherit-refined.scala
Commit message (Collapse)AuthorAgeFilesLines
* Negtests with // error commentsvsalvis2016-02-181-4/+4
|
* Fixed testMartin Odersky2014-12-131-1/+1
|
* One more test case, coming from #214.Martin Odersky2014-12-131-0/+1
|
* Fix #248: Class cannot inherit from refinement typesMartin Odersky2014-12-131-0/+9
We now check that classes do not inherit from refinement types (unless they are an encoding of parameterized types), nor from & or | types.