SI-6373 removes Trees#ApplyDynamic from the API

Introduced by erasure - therefore it can be seen
neither by macros, nor by runtime reflection.

Despite never being pickled, ApplyDynamic is supported by unpickler
so I couldn't move it exclusively to scala-compiler.jar.

Figuring out the mysterious reason for pickling ApplyDynamic is left
to future work.

2 files changed, 0 insertions, 35 deletions

diff --git a/src/library/scala/reflect/base/Base.scala b/src/library/scala/reflect/base/Base.scala
index 33582675bd..65e9f4c335 100644
--- a/src/library/scala/reflect/base/Base.scala
+++ b/src/library/scala/reflect/base/Base.scala
@@ -623,10 +623,6 @@ class Base extends Universe { self =>
        extends GenericApply
   object Apply extends ApplyExtractor
 
-  case class ApplyDynamic(qual: Tree, args: List[Tree])
-       extends TermTree with SymTree
-  object ApplyDynamic extends ApplyDynamicExtractor
-
   case class Super(qual: Tree, mix: TypeName) extends TermTree
   object Super extends SuperExtractor
 
@@ -725,7 +721,6 @@ class Base extends Universe { self =>
   implicit val GenericApplyTag = ClassTag[GenericApply](classOf[GenericApply])
   implicit val TypeApplyTag = ClassTag[TypeApply](classOf[TypeApply])
   implicit val ApplyTag = ClassTag[Apply](classOf[Apply])
-  implicit val ApplyDynamicTag = ClassTag[ApplyDynamic](classOf[ApplyDynamic])
   implicit val SuperTag = ClassTag[Super](classOf[Super])
   implicit val ThisTag = ClassTag[This](classOf[This])
   implicit val SelectTag = ClassTag[Select](classOf[Select])
diff --git a/src/library/scala/reflect/base/Trees.scala b/src/library/scala/reflect/base/Trees.scala
index 224965a2b7..74928a0cc6 100644
--- a/src/library/scala/reflect/base/Trees.scala
+++ b/src/library/scala/reflect/base/Trees.scala
@@ -971,36 +971,6 @@ trait Trees { self: Universe =>
     def unapply(apply: Apply): Option[(Tree, List[Tree])]
   }
 
-  /** Dynamic value application.
-   *  In a dynamic application   q.f(as)
-   *   - q is stored in qual
-   *   - as is stored in args
-   *   - f is stored as the node's symbol field.
-   *  [Eugene++] what is it used for?
-   *  Introduced by erasure, eliminated by cleanup.
-   */
-  type ApplyDynamic >: Null <: TermTree with SymTree
-
-  /** A tag that preserves the identity of the `ApplyDynamic` abstract type from erasure.
-   *  Can be used for pattern matching, instance tests, serialization and likes.
-   */
-  implicit val ApplyDynamicTag: ClassTag[ApplyDynamic]
-
-  /** The constructor/deconstructor for `ApplyDynamic` instances. */
-  val ApplyDynamic: ApplyDynamicExtractor
-
-  /** An extractor class to create and pattern match with syntax `ApplyDynamic(qual, args)`.
-   *  This AST node corresponds to the following Scala code:
-   *
-   *    fun(args)
-   *
-   *  The symbol of an ApplyDynamic is the function symbol of `qual`, or NoSymbol, if there is none.
-   */
-  abstract class ApplyDynamicExtractor {
-    def apply(qual: Tree, args: List[Tree]): ApplyDynamic
-    def unapply(applyDynamic: ApplyDynamic): Option[(Tree, List[Tree])]
-  }
-
   /** Super reference, qual = corresponding this reference
    *  A super reference C.super[M] is represented as Super(This(C), M).
    */