From 33db779d370b51693263041b87e0c739d8992cf9 Mon Sep 17 00:00:00 2001 From: Nicolas Stucki Date: Tue, 17 Aug 2021 15:20:59 +0200 Subject: [PATCH] Stabilize `scala.Selectable.WithoutPreciseParameterTypes` --- library/src/scala/Selectable.scala | 1 - tests/pos/i12211.scala | 3 +-- 2 files changed, 1 insertion(+), 3 deletions(-) diff --git a/library/src/scala/Selectable.scala b/library/src/scala/Selectable.scala index 33b839f71b30..7a520ee6af64 100644 --- 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 index ffd2fd95f3f3..6c117e0bf474 100644 --- 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 = {} }