Introduce Tuple.ReverseOnto and use it in Tuple.reverse

Author: nicolasstucki

library/src/scala/Tuple.scala

@@ -202,16 +202,13 @@ object Tuple {
 
   /** Type of the reversed tuple */
   @experimental
-  type Reverse[X <: Tuple] = Helpers.ReverseImpl[EmptyTuple, X]
+  type Reverse[X <: Tuple] = ReverseOnto[X, EmptyTuple]
 
+  /** Prepends all elements of a tuple in reverse order onto the other tuple */
   @experimental
-  object Helpers:
-
-    /** Type of the reversed tuple */
-    @experimental
-    type ReverseImpl[Acc <: Tuple, X <: Tuple] <: Tuple = X match
-      case x *: xs => ReverseImpl[x *: Acc, xs]
-      case EmptyTuple => Acc
+  type ReverseOnto[From <: Tuple, To <: Tuple] <: Tuple = From match
+    case x *: xs => ReverseOnto[xs, x *: To]
+    case EmptyTuple => To
 
   /** Transforms a tuple `(T1, ..., Tn)` into `(T1, ..., Ti)`. */
   type Take[T <: Tuple, N <: Int] <: Tuple = N match {

tests/run-tasty-inspector/stdlibExperimentalDefinitions.scala

@@ -92,12 +92,10 @@ val experimentalDefinitionInLibrary = Set(
   "scala.quoted.Quotes.reflectModule.TermParamClauseMethods.hasErasedArgs",
 
   // New feature: reverse method on Tuple
-  "scala.Tuple.reverse",
-  "scala.Tuple$.Helpers",
-  "scala.Tuple$.Helpers$",
-  "scala.Tuple$.Helpers$.ReverseImpl",
-  "scala.Tuple$.Reverse",
-  "scala.runtime.Tuples$.reverse"
+  "scala.Tuple.reverse", // can be stabilized in 3.4
+  "scala.Tuple$.Reverse", // can be stabilized in 3.4
+  "scala.Tuple$.ReverseOnto", // can be stabilized in 3.4
+  "scala.runtime.Tuples$.reverse", // can be stabilized in 3.4
 )