Treating all annotations as wrappers over trees.

1 files changed, 8 insertions, 4 deletions

diff --git a/src/dotty/tools/dotc/core/Definitions.scala b/src/dotty/tools/dotc/core/Definitions.scala
index b399a77c4..3e5e8b8af 100644
--- a/src/dotty/tools/dotc/core/Definitions.scala
+++ b/src/dotty/tools/dotc/core/Definitions.scala
@@ -113,11 +113,12 @@ class Definitions(implicit ctx: Context) {
   lazy val SymbolClass                  = requiredClass("scala.Symbol")
   lazy val StringClass                  = requiredClass("java.lang.String")
   lazy val ClassClass                   = requiredClass("java.lang.Class")
-     //def Class_getMethod               = getMemberMethod(ClassClass, nme.getMethod_)
+     //def Class_getMethod              = getMemberMethod(ClassClass, nme.getMethod_)
   lazy val DynamicClass                 = requiredClass("scala.Dynamic")
-  lazy val BoxedNumberClass = requiredClass("java.lang.Number")
-  lazy val JavaSerializableClass = requiredClass("java.lang.Serializable")
-  lazy val ComparableClass       = requiredClass("java.lang.Comparable")
+  lazy val BoxedNumberClass             = requiredClass("java.lang.Number")
+  lazy val JavaSerializableClass        = requiredClass("java.lang.Serializable")
+  lazy val ComparableClass              = requiredClass("java.lang.Comparable")
+  lazy val AnnotationClass              = requiredClass("scala.annotation.Annotation")
 
   lazy val AnyType = AnyClass.typeConstructor
   lazy val AnyValType = AnyValClass.typeConstructor
@@ -129,6 +130,9 @@ class Definitions(implicit ctx: Context) {
   lazy val SeqType = SeqClass.typeConstructor
   lazy val ArrayType = ArrayClass.typeConstructor
 
+  lazy val AliasAnnot = requiredClass("dotty.annotation.internal.Alias")
+  lazy val ChildAnnot = requiredClass("dotty.annotation.internal.Alias")
+
   def ClassType(arg: Type)(implicit ctx: Context) = {
     val ctype = ClassClass.typeConstructor
     if (ctx.phase.erasedTypes) ctype else ctype.appliedTo(arg)