aboutsummaryrefslogtreecommitdiff
path: root/tests/pos/gadts2.scala
Commit message (Collapse)AuthorAgeFilesLines
* Drop out of date commentMartin Odersky2016-08-261-1/+1
|
* GADT testMartin Odersky2016-08-261-0/+25
This one failed in getters before because a (previously unchecked) assignment was turned into a checked application. Now it passes.