aboutsummaryrefslogtreecommitdiff
path: root/tests/neg/refinedSubtyping.scala
Commit message (Expand)AuthorAgeFilesLines
* Allow refinements that refine already refined types.Martin Odersky2014-11-261-0/+23