From a30e7ecabc84583fa93bc215b1d1b5186caec07b Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Mon, 13 Feb 2017 13:09:11 +0100
Subject: Check that cases with type parameters also have an extends clause

---
 tests/neg/enums.scala | 1 +
 1 file changed, 1 insertion(+)

(limited to 'tests')

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 {
-- 
cgit v1.2.3