Stabilize scala.Selectable.WithoutPreciseParameterTypes

scala · Aug 17, 2021 · 33db779 · 33db779
1 parent 12cb6c5
commit 33db779
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 3 deletions.
diff --git a/library/src/scala/Selectable.scala b/library/src/scala/Selectable.scala
@@ -49,6 +49,5 @@ object Selectable:
    *  the additional restriction that the signatures of the refinement and
    *  the definition that implements the refinment must match.
    */
-  @experimental
   trait WithoutPreciseParameterTypes extends Selectable
 end Selectable
diff --git a/tests/pos/i12211.scala b/tests/pos/i12211.scala
@@ -20,10 +20,9 @@ class BB[T]
 def test3: (a: AA) => (b: BB[a.type]) => BB[?] =
   (a: AA) => (b: BB[a.type]) => b
 
-@annotation.experimental // TODO: Remove once WithoutPreciseParameterTypes is no longer experimental
 trait RelaxedSelectable extends Selectable.WithoutPreciseParameterTypes:
   def applyDynamic(name: String, paramTypes: Class[_]*)(args: Any*): Any = ???
-@annotation.experimental // TODO: Remove once WithoutPreciseParameterTypes is no longer experimental
+
 class Sink[A] extends RelaxedSelectable {
   def put(x: A): Unit = {}
 }