aboutsummaryrefslogtreecommitdiff
path: root/tests/pos/refinedSubtyping.scala
Commit message (Expand)AuthorAgeFilesLines
* Fixes suggested by reviews from @smarter.Martin Odersky2015-01-241-2/+1
* Reorg of subtyping.Martin Odersky2015-01-011-0/+11
* Allow refinements that refine already refined types.Martin Odersky2014-11-261-0/+43
* Handling higher-kinded types with lambdasMartin Odersky2014-06-181-0/+19