Drop 'final' from 'case object'

Author: Blaisorblade

semanticdb/src/dotty/semanticdb/Scala.scala

@@ -148,7 +148,7 @@ object Scala {
     }
   }
   object Descriptor {
-    final case object None extends Descriptor { def value: String = "" }
+    case object None extends Descriptor { def value: String = "" }
     final case class Term(value: String) extends Descriptor
     final case class Method(value: String, disambiguator: String) extends Descriptor
     final case class Type(value: String) extends Descriptor

tests/patmat/i3645.scala

@@ -13,8 +13,8 @@ object App {
     }
 
     sealed abstract class K[A]
-    final case object KAge extends K[Age]
-    final case object KInt extends K[Int]
+    case object KAge extends K[Age]
+    case object KInt extends K[Int]
 
     val kint: K[Age] = Age.subst[K](KInt)
     def get(k: K[Age]): String = k match {

tests/patmat/i3645b.scala

@@ -13,9 +13,9 @@ object App {
     type Bar = Foo
 
     sealed abstract class K[A]
-    final case object K1 extends K[Int]
-    final case object K2 extends K[Foo]
-    final case object K3 extends K[Bar]
+    case object K1 extends K[Int]
+    case object K2 extends K[Foo]
+    case object K3 extends K[Bar]
 
     val foo: K[Int] = Foo.subst[K](K2)
     def get(k: K[Int]): Unit = k match {

tests/patmat/i3645c.scala

@@ -13,9 +13,9 @@ object App {
     type Bar = Foo
 
     sealed abstract class K[+A]
-    final case object K1 extends K[Int]
-    final case object K2 extends K[Foo]
-    final case object K3 extends K[Bar]
+    case object K1 extends K[Int]
+    case object K2 extends K[Foo]
+    case object K3 extends K[Bar]
 
     val foo: K[Int] = Foo.subst[K](K2)
     def get(k: K[Int]): Unit = k match {

tests/patmat/i3645d.scala

@@ -13,9 +13,9 @@ object App {
     type Bar = Foo
 
     sealed abstract class K[-A]
-    final case object K1 extends K[Int]
-    final case object K2 extends K[Foo]
-    final case object K3 extends K[Bar]
+    case object K1 extends K[Int]
+    case object K2 extends K[Foo]
+    case object K3 extends K[Bar]
 
     val foo: K[Int] = Foo.subst[K](K2)
     def get(k: K[Int]): Unit = k match {

tests/patmat/i3645e.scala

@@ -22,8 +22,8 @@ object App {
     type Foo = Module.Foo.Type
 
     sealed abstract class K[F]
-    final case object K1 extends K[Int]
-    final case object K2 extends K[Foo]
+    case object K1 extends K[Int]
+    case object K2 extends K[Foo]
 
     val kv: K[Foo] = Module.Foo.subst[K](K1)
     def test(k: K[Foo]): Unit = k match {

tests/patmat/i3645f.scala

@@ -23,8 +23,8 @@ object App {
     type Foo = Module.Foo.Type
 
     sealed abstract class K[F]
-    final case object K1 extends K[Int]
-    final case object K2 extends K[Foo]
+    case object K1 extends K[Int]
+    case object K2 extends K[Foo]
 
     val kv: K[Foo] = Module.Foo.subst[K](K1)
     def test(k: K[Foo]): Unit = k match {

tests/patmat/i3645g.scala

@@ -22,8 +22,8 @@ object App {
     type Foo = Module.Foo.Type
 
     sealed abstract class K[F]
-    final case object K1 extends K[Int]
-    final case object K2 extends K[Foo]
+    case object K1 extends K[Int]
+    case object K2 extends K[Foo]
 
     val kv: K[Foo] = Module.Foo.subst[K](K1)
     def test(k: K[Foo]): Unit = k match {

tests/patmat/t7353.scala

@@ -1,8 +1,8 @@
 sealed trait EthernetType
 
 object EthernetType {
-  final case object Gigabit extends EthernetType
-  final case object FastEthernet extends EthernetType
+  case object Gigabit extends EthernetType
+  case object FastEthernet extends EthernetType
 
   final def toInt(t: EthernetType) = t match {
     case Gigabit => 1

tests/pos-kind-polymorphism/anykind.scala

@@ -93,7 +93,7 @@ object Test {
   sealed trait HList
   final case class ::[+H, +T <: HList](head : H, tail : T) extends HList
   sealed trait HNil extends HList
-  final case object HNil extends HNil
+  case object HNil extends HNil
 
   object New {
     // The Kind Polymorphic List

tests/pos/byname-implicits-13.scala

@@ -13,7 +13,7 @@ case class Cat(name: String, friend: Either[Cat, Dog])
 sealed trait HList extends Product with Serializable
 final case class ::[+H, +T <: HList](head: H, tail: T) extends HList
 sealed trait HNil extends HList
-final case object HNil extends HNil
+case object HNil extends HNil
 
 sealed trait Coproduct extends Product with Serializable
 sealed trait :+:[+H, +T <: Coproduct] extends Coproduct

tests/pos/byname-implicits-14.scala

@@ -13,7 +13,7 @@ case class Cat(name: String, friend: Either[Cat, Dog])
 sealed trait HList extends Product with Serializable
 final case class ::[+H, +T <: HList](head: H, tail: T) extends HList
 sealed trait HNil extends HList
-final case object HNil extends HNil
+case object HNil extends HNil
 
 sealed trait Coproduct extends Product with Serializable
 sealed trait :+:[+H, +T <: Coproduct] extends Coproduct

tests/pos/i3647.scala

@@ -10,8 +10,8 @@ object App {
       type T = String
       type Bar[A] = J[A]
       sealed abstract class J[A]
-      final case object JName extends J[T]
-      final case object JInt extends J[Int]
+      case object JName extends J[T]
+      case object JInt extends J[Int]
 
       def get(k: J[T]): String = k match {
         case JName => "Age"

tests/run/erased-frameless.scala

@@ -5,7 +5,7 @@ import scala.annotation.implicitNotFound
 
 sealed trait HList
 sealed trait HNil extends HList
-final case object HNil extends HNil
+case object HNil extends HNil
 final case class ::[H, T <: HList](h: H, t: T) extends HList
 
 /** Generic representation os type T as a labelled sum of product. */

tests/run/hmap-covariant.scala

@@ -1,6 +1,6 @@
 trait Tuple
 case class TCons[+H, +T <: Tuple](h: H, t: T) extends Tuple
-final case object TNil extends Tuple
+case object TNil extends Tuple
 
 // Type level natural numbers -------------------------------------------------
 

tests/run/hmap.scala

@@ -1,6 +1,6 @@
 trait Tuple
 case class TCons[H, T <: Tuple](h: H, t: T) extends Tuple
-final case object TNil extends Tuple
+case object TNil extends Tuple
 
 // Type level natural numbers -------------------------------------------------
 

tests/run/phantom-OnHList.scala

@@ -24,7 +24,7 @@ sealed trait HNil extends HList
 
 // HList values -----------------------------------------------------------------------------------
 
-final case object HNil extends HNil {
+case object HNil extends HNil {
   val underlying: Array[Any] = Array.empty[Any]
   override def toString(): String = "()"
 }