Merge pull request #3800 from dotty-staging/remove-tests

Move some pending tests to neg/

Author: smarter

tests/neg-no-optimise/t7868.scala

@@ -0,0 +1,13 @@
+object A {
+  def unapply(n: Int): Option[Int] = Some(n)
+
+  def run = (0: Short) match {
+    case A(_) => // error: this case is unreachable since class Short is not a subclass of class Int
+    case _    =>
+  }
+
+  def run2 = (0: Short) match {
+    case x: Int => // error: this case is unreachable since class Short is not a subclass of class Int
+    case _    =>
+  }
+}

tests/pending/run/t8764.scala renamed to tests/neg/t8764.scala

@@ -3,14 +3,14 @@ case class IntOnly(i: Int, j: Int)
 
 println("IntOnly: should return an unboxed int")
 val a = IntOnly(1, 2)
-val i: Int = a.productElement(0)
+val i: Int = a.productElement(0) // error: found Any, required Int
 println(s"Int: ${a.productElement(0).getClass}")
 
 case class IntAndDouble(i: Int, d: Double)
 
 println("IntAndDouble: should just box and return Anyval")
 val b = IntAndDouble(1, 2.0)
-val j: AnyVal = b.productElement(0)
+val j: AnyVal = b.productElement(0) // error: found Any, required AnyVal
 println(s"Double: ${b.productElement(1).getClass}")
 println(s"Int: ${b.productElement(0).getClass}")
 }