Add more test case

Author: liufengyun

tests/neg-custom-args/isInstanceOf/JavaSeqLiteral.scala

@@ -0,0 +1,29 @@
+object Test1 {
+  trait Tree[-T]
+
+  class JavaSeqLiteral[T] extends Tree[T]
+
+  trait Type
+
+  class DummyTree extends JavaSeqLiteral[Any]
+
+  def foo1(tree: Tree[Type]) =
+    tree.isInstanceOf[JavaSeqLiteral[Type]]   // error
+
+  foo1(new DummyTree)
+}
+
+object Test2 {
+  trait Tree[-T]
+
+  class JavaSeqLiteral[-T] extends Tree[T]
+
+  trait Type
+
+  class DummyTree extends JavaSeqLiteral[Any]
+
+  def foo1(tree: Tree[Type]) =
+    tree.isInstanceOf[JavaSeqLiteral[Type]]
+
+  foo1(new DummyTree)
+}