add in explicit type parameters for variant enums

Author: bishabosha

tests/neg-custom-args/typeclass-derivation2.scala

@@ -122,7 +122,7 @@ object TypeLevel {
 
 // An algebraic datatype
 enum Lst[+T] {
-  case Cons(hd: T, tl: Lst[T])
+  case Cons[T](hd: T, tl: Lst[T]) extends Lst[T]
   case Nil
 }
 

tests/neg/enum-tparams.scala

@@ -1,10 +1,10 @@
 object Test {
 
   enum Opt[+T] {
-    case S(x: T) extends Opt[T]
+    case S[T](x: T) extends Opt[T]
     case I(x: Int) extends Opt[Int]
-    case V() extends Opt[`T`]
-    case P(x: List[T]) extends Opt[String]
+    case V[T]() extends Opt[`T`]
+    case P[T](x: List[T]) extends Opt[String]
     case N extends Opt[Nothing]
   }
 
@@ -37,4 +37,4 @@ object Test {
   E.C4()            // OK
   E.C5[List, Id]()  // OK
   E.C5()            // OK
-}
+}

tests/neg/enums.scala

@@ -36,7 +36,7 @@ enum Captured[T] {
 }
 
 enum Option[+T] derives Eql {
-  case Some(x: T)
+  case Some[T](x: T) extends Option[T]
   case None
 }
 

tests/neg/i4470c.scala

@@ -1,9 +1,9 @@
 object DuplicatedEnum {
   enum Maybe[+T] { // error
-    case Some(x: T)
+    case Some[T](x: T) extends Maybe[T]
   }
 
   enum Maybe[+T] { // error
-    case Some(x: T)
+    case Some[T](x: T) extends Maybe[T]
   }
 }

tests/neg/i5495.scala

@@ -1,4 +1,4 @@
 lazy enum LazyList[+A] {  // error: sealed abstract types cannot be lazy enum
-  case :: (head: A, tail: LazyList[A])
+  case ::[A] (head: A, tail: LazyList[A]) extends LazyList[A]
   case Nil
-}
+}

tests/neg/i7459.scala

@@ -58,6 +58,6 @@ object Eq {
 
 
 enum Opt[+T] derives Eq {
-  case Sm(t: T)
+  case Sm[T](t: T) extends Opt[T]
   case Nn
-}
+}

tests/patmat/enum-approx.scala

@@ -8,7 +8,7 @@ enum Fun[-T, +U >: Null] {
 
   case Identity[T, U >: Null](g: T => U) extends Fun[T, U]
   case ConstNull
-  case ConstNullClass(x: T)
+  case ConstNullClass[T](x: T) extends Fun[T, Null]
   case ConstNullSimple
 }
 
@@ -28,4 +28,3 @@ object Test {
     case ConstNullSimple => null
   }
 }
-

tests/pos/patmat.scala

@@ -35,7 +35,7 @@ object Test {
   }
 
   enum Option[+T] {
-    case Some(value: T)
+    case Some[T](value: T) extends Option[T]
     case None
   }
   import Option._

tests/pos/reference/adts.scala

@@ -2,14 +2,14 @@ package adts
 object t1:
 
   enum Option[+T]:
-    case Some(x: T)
+    case Some[T](x: T) extends Option[T]
     case None
 
 object t2:
 
   enum Option[+T]:
-    case Some(x: T) extends Option[T]
-    case None       extends Option[Nothing]
+    case Some[T](x: T) extends Option[T]
+    case None          extends Option[Nothing]
 
 enum Color(val rgb: Int):
   case Red   extends Color(0xFF0000)
@@ -20,7 +20,7 @@ enum Color(val rgb: Int):
 object t3:
 
   enum Option[+T]:
-    case Some(x: T) extends Option[T]
+    case Some[T](x: T) extends Option[T]
     case None
 
     def isDefined: Boolean = this match

tests/run-custom-args/typeclass-derivation2.scala

@@ -124,7 +124,7 @@ object TypeLevel {
 
 // An algebraic datatype
 enum Lst[+T] { // derives Eq, Pickler, Show
-  case Cons(hd: T, tl: Lst[T])
+  case Cons[T](hd: T, tl: Lst[T]) extends Lst[T]
   case Nil
 }