Make Tuple a Product

Author: nicolasstucki

compiler/src/dotty/tools/dotc/core/Definitions.scala

@@ -1397,7 +1397,7 @@ class Definitions {
       .updated(AnyClass, ObjectClass)
       .updated(AnyValClass, ObjectClass)
       .updated(SingletonClass, ObjectClass)
-      .updated(TupleClass, ObjectClass)
+      .updated(TupleClass, ProductClass)
       .updated(EmptyTupleClass, ProductClass)
       .updated(NonEmptyTupleClass, ProductClass)
 

library/src-bootstrapped/scala/Tuple.scala

@@ -4,7 +4,7 @@ import compiletime._
 import internal._
 
 /** Tuple of arbitrary arity */
-sealed trait Tuple extends Any {
+sealed trait Tuple extends Product {
   import Tuple._
 
   /** Create a copy this tuple as an Array */
@@ -192,10 +192,10 @@ object Tuple {
 }
 
 /** Tuple of arity zero */
-sealed trait EmptyTuple extends Tuple with Product
+sealed trait EmptyTuple extends Tuple
 
 /** Tuple of arbitrary non-zero arity */
-sealed trait NonEmptyTuple extends Tuple with Product {
+sealed trait NonEmptyTuple extends Tuple {
   import Tuple._
 
   /** Get the i-th element of this tuple.