Add erased to erasedValue when typing it

Author: nicolasstucki

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

@@ -227,11 +227,7 @@ class Definitions {
 
   @tu lazy val CompiletimePackageClass: Symbol = requiredPackage("scala.compiletime").moduleClass
     @tu lazy val Compiletime_codeOf: Symbol = CompiletimePackageClass.requiredMethod("codeOf")
-    @tu lazy val Compiletime_erasedValue: TermSymbol = {
-      val sym = CompiletimePackageClass.requiredMethod("erasedValue")
-      sym.setFlag(Erased)
-      sym
-    }
+    @tu lazy val Compiletime_erasedValue  : Symbol = CompiletimePackageClass.requiredMethod("erasedValue")
     @tu lazy val Compiletime_uninitialized: Symbol = CompiletimePackageClass.requiredMethod("uninitialized")
     @tu lazy val Compiletime_error        : Symbol = CompiletimePackageClass.requiredMethod(nme.error)
     @tu lazy val Compiletime_requireConst : Symbol = CompiletimePackageClass.requiredMethod("requireConst")
@@ -1759,7 +1755,7 @@ class Definitions {
 
   /** Lists core methods that don't have underlying bytecode, but are synthesized on-the-fly in every reflection universe */
   @tu lazy val syntheticCoreMethods: List[TermSymbol] =
-    AnyMethods ++ ObjectMethods ++ List(String_+, throwMethod, Compiletime_erasedValue)
+    AnyMethods ++ ObjectMethods ++ List(String_+, throwMethod)
 
   @tu lazy val reservedScalaClassNames: Set[Name] = syntheticScalaClasses.map(_.name).toSet
 

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

@@ -2092,6 +2092,8 @@ class Typer extends Namer
       sym.owner.info.decls.openForMutations.unlink(sym)
       return EmptyTree
     }
+    if sym eq defn.Compiletime_erasedValue then
+      sym.setFlag(Erased)
     val DefDef(name, paramss, tpt, _) = ddef
     completeAnnotations(ddef, sym)
     val paramss1 = paramss.nestedMapConserve(typed(_)).asInstanceOf[List[ParamClause]]