aboutsummaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorMartin Odersky <odersky@gmail.com>2017-02-13 13:09:11 +0100
committerMartin Odersky <odersky@gmail.com>2017-04-04 13:29:38 +0200
commita30e7ecabc84583fa93bc215b1d1b5186caec07b (patch)
tree3f2d166a51150a9e9a5b43742df53715874df7d4 /tests
parent11965330882472e2976639c7c98b8ac44a819681 (diff)
downloaddotty-a30e7ecabc84583fa93bc215b1d1b5186caec07b.tar.gz
dotty-a30e7ecabc84583fa93bc215b1d1b5186caec07b.tar.bz2
dotty-a30e7ecabc84583fa93bc215b1d1b5186caec07b.zip
Check that cases with type parameters also have an extends clause
Diffstat (limited to 'tests')
-rw-r--r--tests/neg/enums.scala1
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/neg/enums.scala b/tests/neg/enums.scala
index 83311f37c..2dc8999fa 100644
--- a/tests/neg/enums.scala
+++ b/tests/neg/enums.scala
@@ -1,6 +1,7 @@
enum List[+T] {
case Cons(x: T, xs: List[T])
case Nil // error: illegal enum value
+ case Snoc[U](xs: List[U], x: U) // error: case with type parameters needs extends clause // error // error // error
}
enum class X {