implements reification of tough types

1 files changed, 5 insertions, 0 deletions

diff --git a/src/library/scala/reflect/api/Symbols.scala b/src/library/scala/reflect/api/Symbols.scala
index a154e5f7a0..e47bc7216e 100755
--- a/src/library/scala/reflect/api/Symbols.scala
+++ b/src/library/scala/reflect/api/Symbols.scala
@@ -173,6 +173,11 @@ trait Symbols { self: Universe =>
      */
     def isSkolem       : Boolean
 
+    /** Does this symbol represent an existentially bound type?
+     *  If yes, `isType` is also guaranteed to be true.
+     */
+    def isExistential  : Boolean
+
     /** Does this symbol represent a free type captured by reification?
      */
     // needed for ones who wish to inspect reified trees