Merge pull request #13315 from dotty-staging/stabilize-Selectable.WithoutPreciseParameterTypes

Stabilize `scala.Selectable.WithoutPreciseParameterTypes`

Author: odersky

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

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 = {}
 }