GADT test

This one failed in getters before because a (previously unchecked) assignment
was turned into a checked application. Now it passes.

1 files changed, 0 insertions, 25 deletions

diff --git a/tests/pending/pos/gadts2.scala b/tests/pending/pos/gadts2.scala
deleted file mode 100644
index b67bafb32..000000000
--- a/tests/pending/pos/gadts2.scala
+++ /dev/null
@@ -1,25 +0,0 @@
-object Test {
-
-  abstract class Number
-  case class MyInt(n: Int) extends Number
-  case class MyDouble(d: Double) extends Number
-
-  trait Term[a]
-  case class Cell[a](var x: a) extends Term[a]
-  final case class NumTerm(val n: Number) extends Term[Number]
-
-  def f[a](t: Term[a], c: Cell[a]): Unit = {
-    t match {
-      case NumTerm(n) => c.x = MyDouble(1.0)
-    }
-  }
-
-  val x: Term[Number] = NumTerm(MyInt(5))
-
-  def main(args: Array[String]): Unit = {
-    val cell = Cell[Number](MyInt(6))
-    Console.println(cell)
-    f[Number](new NumTerm(MyInt(5)), cell)
-    Console.println(cell)
-  }
-}