New and updated tests

Author: odersky

tests/neg/enums.scala

@@ -8,13 +8,13 @@ enum class X {
 }
 
 enum E1[T] {
-  case C
+  case C // error: cannot determine type argument
 }
 
 enum E2[+T, +U >: T] {
-  case C
+  case C // error: cannot determine type argument
 }
 
 enum E3[-T <: Ordered[T]] {
-  case C
+  case C // error: cannot determine type argument
 }

tests/run/enum-List2a.scala

@@ -0,0 +1,11 @@
+enum class List[+T]
+object List {
+  case Cons(x: T, xs: List[T])
+  case Nil
+}
+object Test {
+  import List._
+  val xs = Cons(1, Cons(2, Cons(3, Nil)))
+  def main(args: Array[String]) = println(xs)
+}
+

tests/run/enum-approx.scala

@@ -0,0 +1,22 @@
+enum class Fun[-T, +U >: Null] {
+  def f: T => U = null
+}
+object Fun {
+  case Identity[T, U >: Null](override val f: T => U) extends Fun[T, U]
+  case ConstNull {
+    override def f = x => null
+  }
+  case ConstNullClass() {
+    override def f = x => null
+  }
+  case ConstNullSimple
+}
+
+object Test {
+  def main(args: Array[String]) = {
+    val x: Null = Fun.ConstNull.f("abc")
+    val y: Null = Fun.ConstNullClass().f("abc")
+    assert(Fun.ConstNullSimple.f == null)
+  }
+}
+

tests/run/enumList2a.check

@@ -0,0 +1 @@
+Cons(1,Cons(2,Cons(3,Nil)))