Allow Symbols

Author: mbovel

compiler/src/dotty/tools/dotc/core/Definitions.scala

@@ -499,6 +499,8 @@ class Definitions {
 
   @tu lazy val DummyImplicitClass: ClassSymbol = requiredClass("scala.DummyImplicit")
 
+  @tu lazy val SymbolModule: Symbol = requiredModule("scala.Symbol")
+  
   @tu lazy val ScalaRuntimeModule: Symbol = requiredModule("scala.runtime.ScalaRunTime")
     def runtimeMethodRef(name: PreName): TermRef = ScalaRuntimeModule.requiredMethodRef(name)
     def ScalaRuntime_drop: Symbol = runtimeMethodRef(nme.drop).symbol

compiler/src/dotty/tools/dotc/typer/Checking.scala

@@ -957,6 +957,7 @@ object Checking {
         case Select(qual, nme.apply) =>
           qual.symbol == defn.ArrayModule
           || qual.symbol == defn.ClassTagModule // class tags are used as arguments to Array.apply
+          || qual.symbol == defn.SymbolModule // used in Akka
           || isTupleModule(qual.symbol)
         case Select(New(clazz), nme.CONSTRUCTOR) => clazz.symbol.isAnnotation
         case Apply(fun, _) => isFunctionAllowed(fun)

tests/pos/annot-valid.scala

@@ -13,6 +13,7 @@ def main =
   val x7: Int @annot((1,2,3)) = 0
   val x8: Int @annot(((1,2),3)) = 0
   val x9: Int @annot(((1,2),(3,4))) = 0
+  val x10: Int @annot(Symbol("hello")) = 0
 
   @annot(42) val y1: Int = 0
   @annot("hello") val y2: Int = 0
@@ -23,5 +24,6 @@ def main =
   @annot((1,2,3)) val y7: Int = 0
   @annot(((1,2),3)) val y8: Int = 0
   @annot(((1,2),(3,4))) val y9: Int = 0
+  @annot(Symbol("hello")) val y10: Int = 0
 
   ()