Review changes

Author: KacperFKorban

library/src/scala/Tuple.scala

@@ -2,6 +2,7 @@ package scala
 import annotation.showAsInfix
 import compiletime._
 import compiletime.ops.int._
+import scala.annotation.experimental
 
 /** Tuple of arbitrary arity */
 sealed trait Tuple extends Product {
@@ -57,8 +58,9 @@ sealed trait Tuple extends Product {
   /** Called on a tuple `(a1, ..., an)`, returns a new tuple `f(a1) ++ ... ++ f(an)`.
    *  The result is typed as `Concat[F[A1], ...Concat[F[An], EmptyTuple]...])` if the tuple type is fully known.
    */
-  inline def flatMap[F[_] <: Tuple](f: [t] => t => F[t]): FlatMap[this.type, F] =
-    runtime.Tuples.flatMap(this, f).asInstanceOf[FlatMap[this.type, F]]
+  @experimental
+  inline def flatMap[This >: this.type <: Tuple, F[_] <: Tuple](f: [t] => t => F[t]): FlatMap[This, F] =
+    runtime.Tuples.flatMap(this, f).asInstanceOf[FlatMap[This, F]]
 
   /** Given a tuple `(a1, ..., am)`, returns the tuple `(a1, ..., an)` consisting
    *  of its first n elements.

project/MiMaFilters.scala

@@ -11,5 +11,8 @@ object MiMaFilters {
     exclude[DirectMissingMethodProblem]("scala.quoted.Quotes#reflectModule#SourceFileMethods.getJPath"),
     exclude[DirectMissingMethodProblem]("scala.quoted.Quotes#reflectModule#SourceFileMethods.name"),
     exclude[DirectMissingMethodProblem]("scala.quoted.Quotes#reflectModule#SourceFileMethods.path"),
+
+    // New APIs marked @experimental in 3.1.0
+    exclude[DirectMissingMethodProblem]("scala.runtime.Tuples.flatMap"),
   )
 }

tests/run/TupleFlatMap.scala

@@ -1,19 +1,19 @@
 @main def Test = {
 
   println(
-    Tuple().flatMap[[t] =>> (t, t)]([t] => (x: t) => (x, x))
+    Tuple().flatMap[EmptyTuple, [t] =>> (t, t)]([t] => (x: t) => (x, x))
   )
 
   println(
-    (1, 2, "x", "d").flatMap[[t] =>> (t, t)]([t] => (x: t) => (x, x))
+    (1, 2, "x", "d").flatMap[(Int, Int, String, String), [t] =>> (t, t)]([t] => (x: t) => (x, x))
   )
 
   println(
-    (1, "x").flatMap[[t] =>> EmptyTuple]([t] => (x: t) => Tuple())
+    (1, "x").flatMap[(Int, String), [t] =>> EmptyTuple]([t] => (x: t) => Tuple())
   )
 
   println(
-    (1, "x").flatMap[[t] =>> (t, String)]([t] => (x: t) => (x, x.toString + "!"))
+    (1, "x").flatMap[(Int, String), [t] =>> (t, String)]([t] => (x: t) => (x, x.toString + "!"))
   )
 
-}
+}