aboutsummaryrefslogtreecommitdiff
path: root/tests/pos/projections.scala
Commit message (Collapse)AuthorAgeFilesLines
* Change definition of isLegalPrefix so that it allows projecting on an ↵Martin Odersky2014-06-121-0/+14
abstract type. This is needed to make the encoding og higher-kinded types work. E.g. Rep[Int] would be represented as Rep { type Arg$0 = Int } # Apply where Apply is an abstract member of the base class Lambfa$I of Rep.