aboutsummaryrefslogtreecommitdiff
path: root/tests/neg/enums.scala
diff options
context:
space:
mode:
Diffstat (limited to 'tests/neg/enums.scala')
-rw-r--r--tests/neg/enums.scala20
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
+}