Merge pull request #1958 from dotty-staging/add-enum

Add "enum" construct

1 files changed, 20 insertions, 0 deletions

diff --git a/tests/neg/enums.scala b/tests/neg/enums.scala
new file mode 100644
index 000000000..108ec4a6c
--- /dev/null
+++ b/tests/neg/enums.scala
@@ -0,0 +1,20 @@
+enum List[+T] {
+  case Cons(x: T, xs: List[T])
+  case Snoc[U](xs: List[U], x: U) // error: case with type parameters needs extends clause
+}
+
+enum class X {
+  case Y // error: case not allowed here
+}
+
+enum E1[T] {
+  case C // error: cannot determine type argument
+}
+
+enum E2[+T, +U >: T] {
+  case C // error: cannot determine type argument
+}
+
+enum E3[-T <: Ordered[T]] {
+  case C // error: cannot determine type argument
+}