move pos test to pos-special/isInstanceOf

Author: liufengyun

compiler/test/dotty/tools/dotc/CompilationTests.scala

@@ -78,6 +78,7 @@ class CompilationTests extends ParallelTesting {
     ) +
     compileFilesInDir("tests/pos-special/spec-t5545", defaultOptions) +
     compileFilesInDir("tests/pos-special/strawman-collections", defaultOptions) +
+    compileFilesInDir("tests/pos-special/isInstanceOf", defaultOptions.and("-Xfatal-warnings")) +
     compileFile("scala2-library/src/library/scala/collection/immutable/IndexedSeq.scala", defaultOptions) +
     compileFile("scala2-library/src/library/scala/collection/parallel/mutable/ParSetLike.scala", defaultOptions) +
     compileList(

tests/neg-custom-args/isInstanceOf/3324c.scala renamed to tests/pos-special/isInstanceOf/3324c.scala

@@ -5,6 +5,4 @@ class Test {
   def f(x: B[Int]) = x match { case _: A[Int] if true => }
 
   def g(x: A[Int]) = x match { case _: B[Int] => }
-
-  def foo(x: Any) = x.isInstanceOf[List[String]]  // error
 }

tests/neg-custom-args/isInstanceOf/3324d.scala renamed to tests/pos-special/isInstanceOf/3324d.scala

@@ -5,7 +5,4 @@ class Test {
     case _: List[Int @unchecked] => 5
     case _: List[Int] @unchecked => 5
   }
-
-  def foo(x: Any): Boolean =
-    x.isInstanceOf[List[String]]  // error
 }

tests/neg-custom-args/isInstanceOf/3324e.scala renamed to tests/pos-special/isInstanceOf/3324e.scala

@@ -14,7 +14,4 @@ class C[T] {
   z match {
     case x: F[T] =>
   }
-
-  def foo(x: Any): Boolean =
-    x.isInstanceOf[List[String]]  // error
 }

tests/neg-custom-args/isInstanceOf/3324h.scala renamed to tests/pos-special/isInstanceOf/3324h.scala

@@ -5,6 +5,4 @@ object Test {
     case _: T with Marker      => // scalac emits a warning
     case _ =>
   }
-
-  def bar(x: Any) = x.isInstanceOf[List[String]]  // error
 }

tests/neg-custom-args/isInstanceOf/Result.scala renamed to tests/pos-special/isInstanceOf/Result.scala

@@ -5,7 +5,4 @@ object p {
     case OK [T](x: T) extends Result[T, Nothing]
     case Err[E](e: E) extends Result[Nothing, E]
   }
-
-  def foo(x: Any): Boolean =
-    x.isInstanceOf[List[String]]  // error
 }

tests/neg-custom-args/isInstanceOf/classTag.scala renamed to tests/pos-special/isInstanceOf/classTag.scala

@@ -7,7 +7,4 @@ object IsInstanceOfClassTag {
       case _ => None
     }
   }
-
-  def foo(x: Any): Boolean =
-    x.isInstanceOf[List[String]]  // error
 }

tests/neg-custom-args/isInstanceOf/gadt.scala renamed to tests/pos-special/isInstanceOf/gadt.scala

@@ -34,7 +34,4 @@ object Test {
   }
 
   eval(exp)(Env.empty)
-
-  def foo(x: Any): Boolean =
-    x.isInstanceOf[List[String]]  // error
 }

tests/neg-custom-args/isInstanceOf/t2755.scala renamed to tests/pos-special/isInstanceOf/t2755.scala

@@ -55,7 +55,4 @@ object Test {
     println(f3(Array(1L)))
     println(f3(null))
   }
-
-  def foo(x: Any): Boolean =
-    x.isInstanceOf[List[String]]  // error
 }