aboutsummaryrefslogtreecommitdiff
path: root/tests/pos/refinedSubtyping.scala
Commit message (Expand)AuthorAgeFilesLines
* Allow refinements that refine already refined types.Martin Odersky2014-11-261-0/+43
* Handling higher-kinded types with lambdasMartin Odersky2014-06-181-0/+19