Change definition of isLegalPrefix so that it allows projecting on an 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.

1 files changed, 14 insertions, 0 deletions

diff --git a/tests/pos/projections.scala b/tests/pos/projections.scala
new file mode 100644
index 000000000..894a00bcf
--- /dev/null
+++ b/tests/pos/projections.scala
@@ -0,0 +1,14 @@
+class projections {
+
+  class Lambda { type Arg; type Apply }
+
+  var x: (Lambda { type Apply = Int; type Arg = String }) # Apply = _
+  var y: Int = _
+  x = y
+  y = x
+
+  var xx: (Lambda { type Apply = Arg } { type Arg = Int }) # Apply = _
+  xx = y
+  y = xx
+
+}