Add test case for type lambda

Author: liufengyun

tests/neg-custom-args/isInstanceOf/type-lambda.scala

@@ -0,0 +1,14 @@
+trait A[T]
+trait B[T] extends A[T]
+
+object Test {
+  def foo(x: ([X] =>> A[X])[Any]) = x match {
+    case x: ([X] =>> B[X])[Any] =>
+    case _ =>
+  }
+
+  def bar(x: ([X] =>> A[X])[Any]) = x match {
+    case x: ([X] =>> B[Nothing])[Any] => // error
+    case _ =>
+  }
+}