Remove experimental from Mirror#fromProductTyped (scala#16829)

This was first released in 3.1.3 so it seems like it could have `@experimental` removed. Feel free to close if there's some other process that determines when to remove experimental status for an API addition like this.
doofin · Apr 25, 2023 · a210f38 · a210f38
2 parents bdadfd3 + cac782a
commit a210f38
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 5 deletions.
diff --git a/library/src/scala/deriving/Mirror.scala b/library/src/scala/deriving/Mirror.scala
@@ -52,7 +52,6 @@ object Mirror {
 
   extension [T](p: ProductOf[T])
     /** Create a new instance of type `T` with elements taken from product `a`. */
-    @annotation.experimental
     def fromProductTyped[A <: scala.Product, Elems <: p.MirroredElemTypes](a: A)(using m: ProductOf[A] { type MirroredElemTypes = Elems }): T =
       p.fromProduct(a)
 

diff --git a/tests/run-custom-args/tasty-inspector/stdlibExperimentalDefinitions.scala b/tests/run-custom-args/tasty-inspector/stdlibExperimentalDefinitions.scala
@@ -59,10 +59,6 @@ val experimentalDefinitionInLibrary = Set(
   //// New feature: into
   "scala.annotation.allowConversions",
 
-  //// New APIs: Mirror
-  // Can be stabilized in 3.3.0 or later.
-  "scala.deriving.Mirror$.fromProductTyped", // This API is a bit convoluted. We may need some more feedback before we can stabilize it.
-
   //// New feature: Macro annotations
   "scala.annotation.MacroAnnotation",