Fix selecting terms using _root_

compiler/src/dotty/tools/dotc/parsing/Parsers.scala

@@ -1073,10 +1073,7 @@ object Parsers {
 
     /** Accept identifier and return Ident with its name as a term name. */
     def termIdent(): Ident =
-      val t = makeIdent(in.token, in.offset, ident())
-      if t.name == nme.ROOTPKG then
-        syntaxError(em"Illegal use of root package name.")
-      t
+      makeIdent(in.token, in.offset, ident())
 
     /** Accept identifier and return Ident with its name as a type name. */
     def typeIdent(): Ident =

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

@@ -2472,6 +2472,7 @@ class Typer(@constructorOnly nestingLevel: Int = 0) extends Namer
 
   def typedValDef(vdef: untpd.ValDef, sym: Symbol)(using Context): Tree = {
     val ValDef(name, tpt, _) = vdef
+    if name == nme.ROOTPKG then report.error(em"Illegal use of root package name.", vdef)
     completeAnnotations(vdef, sym)
     if (sym.isOneOf(GivenOrImplicit)) checkImplicitConversionDefOK(sym)
     if sym.is(Module) then checkNoModuleClash(sym)
@@ -2505,6 +2506,7 @@ class Typer(@constructorOnly nestingLevel: Int = 0) extends Namer
       // hence we special case it until `erased` is no longer experimental.
       sym.setFlag(Erased)
     val DefDef(name, paramss, tpt, _) = ddef
+    if name == nme.ROOTPKG then report.error(em"Illegal use of root package name.", ddef)
     completeAnnotations(ddef, sym)
     val paramss1 = paramss.nestedMapConserve(typed(_)).asInstanceOf[List[ParamClause]]
     for case ValDefs(vparams) <- paramss1 do

tests/neg/i18020.scala

@@ -41,18 +41,18 @@ def barVal: Unit =
 
 // i18050
 package p {
-  package _root_ { // error
+  package _root_ { // not-reported
     object X // error
   }
 }
 
 // scala/bug#12508
-package _root_ { // error
+package _root_ { // ok
   class C {
     val _root_ = 42 // error
   }
 }
-package _root_.p { // error
+package _root_.p { // ok
   class C
 }
 

tests/pos/i18275.scala

@@ -0,0 +1,8 @@
+package foo
+
+enum MyEnum derives _root_.foo.Eq:
+  case One
+
+trait Eq[T]
+object Eq:
+  inline def derived[T](using m: scala.deriving.Mirror.Of[T]): Eq[T] = ???