summaryrefslogtreecommitdiff
path: root/test/pending/neg/t5378.scala
Commit message (Expand)AuthorAgeFilesLines
* SI-5378, unsoundness with type bounds in refinements.Paul Phillips2013-01-091-19/+0
* Test case for SI-5378phaller2012-05-081-0/+19