Turn tests into neg tests

Author: Blaisorblade

tests/neg/erased-24.scala

@@ -0,0 +1,25 @@
+// Could become a run test if we had totality checking for erased arguments
+
+object Test {
+
+  def main(args: Array[String]): Unit = {
+    println(fun(new Bar))
+  }
+
+  def fun(erased foo: Foo): foo.X = { // error
+    null.asInstanceOf[foo.X] // error
+  }
+
+  def fun2(erased foo: Foo)(erased bar: foo.B): bar.X = { // error // error
+    null.asInstanceOf[bar.X] // error
+  }
+}
+
+class Foo {
+  type X
+  type B <: Bar
+}
+
+class Bar extends Foo {
+  type X = String
+}

tests/pos/erased-pathdep-1.scala tests/neg/erased-pathdep-1.scala

@@ -1,12 +1,14 @@
+// Could become a neg test if we had totality checking for erased arguments
+
 object Test {
 
   fun1(new Bar)
   fun2(new Bar)
   fun3(new Bar)
 
-  def fun1[F >: Bar <: Foo](erased f: F): f.X = null.asInstanceOf[f.X]
-  def fun2[F >: Bar <: Foo](erased f: F)(erased bar: f.B): f.B = null.asInstanceOf[f.B]
-  def fun3[F >: Bar <: Foo](erased f: F)(erased b: f.B): b.X = null.asInstanceOf[b.X]
+  def fun1[F >: Bar <: Foo](erased f: F): f.X = null.asInstanceOf[f.X] // error // error
+  def fun2[F >: Bar <: Foo](erased f: F)(erased bar: f.B): f.B = null.asInstanceOf[f.B] // error // error // error
+  def fun3[F >: Bar <: Foo](erased f: F)(erased b: f.B): b.X = null.asInstanceOf[b.X] // error // error // error
 }
 
 class Foo {

tests/pos/erased-pathdep-2.scala tests/neg/erased-pathdep-2.scala

@@ -1,10 +1,12 @@
+// Could become a neg test if we had totality checking for erased arguments
+
 object Test {
 
   type F >: Bar <: Foo
 
   class A(erased val f: F) {
-    type F1 <: f.X
-    type F2[Z <: f.X]
+    type F1 <: f.X // error
+    type F2[Z <: f.X] // error
   }
 
 }