Refine tests

Author: odersky

tests/neg/i2771.scala

@@ -5,8 +5,8 @@ trait D { type M >: B }
 
 object Test {
   def test(x: C with D): Unit = {
-    def f(y: x.M)(z: y.L[y.L]) = z      // error: y.L takes type parameters
-    f(new B { type L[F[_]] = F[F] })(1) // error: F takes type parameters (follow-on-error)
+    def f(y: x.M)(z: y.L[y.L]) = z      // error: y.L has wrong kind
+    f(new B { type L[F[_]] = F[F] })(1) // error: F has wrong kind
   }
 
   type LB[F[_]]
@@ -17,8 +17,8 @@ object Test {
   foo[Int]()  // an error would be raised later, during PostTyper.
 
   def bar[X, Y]() = ()
-  bar[List, Int]()   // error: List takes type parameters
+  bar[List, Int]()   // error: List has wrong kind
 
-  bar[Y = List, X = Int]()  // error: List takes type parameters
+  bar[Y = List, X = Int]()  // error: List has wrong kind
 
 }

tests/neg/i2771b.scala

@@ -5,7 +5,7 @@ trait D { type M >: B }
 
 object Test {
   def test(x: C with D): Unit = {
-    def f(y: x.M)(z: y.L[y.L]) = z          // error: y.L takes type parameters
-    f(new B { type L[F[_[_]]] = F[F] })(1)  // error: F takes type parameters
+    def f(y: x.M)(z: y.L[y.L]) = z          // error: y.L has wrong kind
+    f(new B { type L[F[_[_]]] = F[F] })(1)  // error: F has wrong kind
   }
 }

tests/neg/i2771c.scala

@@ -0,0 +1,11 @@
+trait A { type L[X[_]] }
+trait B { type L }
+trait C { type M <: A }
+trait D { type M >: B }
+
+object Test {
+  def test(x: D with C): Unit = {
+    def f(y: x.M)(z: y.L[y.L]) = z    // error: y.L has wrong kind
+    new B { type L[F[_[_]]] = F[F] }  // error: F has wrong kind
+  }
+}