More negative tests

These show that the technique used in mandubian/any-order-ubiklist.scala does not work here,
since intersections are only allowed over *-types and AnyKind is not a *-type.

Author: odersky

tests/neg/anykind.scala

@@ -6,6 +6,8 @@ object AnyKinds {
     type T0 = AnyKind[String] // error
     type T1 = X[Int]  // error
     type T2 = X { type F = Int } // error
+    type T3 <: List & AnyKind // error // error
+    type T4 <: Int & AnyKind // error
     val x: X = ???   // error
   }