Tweak per review

Author: som-snytt

compiler/src/dotty/tools/dotc/reporting/ErrorMessageID.scala

@@ -235,7 +235,7 @@ enum ErrorMessageID(val isActive: Boolean = true) extends java.lang.Enum[ErrorMe
   case CannotInstantiateQuotedTypeVarID // errorNumber: 219
   case DefaultShadowsGivenID // errorNumber: 220
   case RecurseWithDefaultID // errorNumber: 221
-  case EncodedPackageNameID // 222
+  case EncodedPackageNameID // errorNumber: 222
 
   def errorNumber = ordinal - 1
 

compiler/src/dotty/tools/dotc/reporting/messages.scala

@@ -3754,10 +3754,10 @@ final class EncodedPackageName(name: Name)(using Context) extends SyntaxMsg(Enco
   override protected def msg(using Context): String =
     i"The package name `$name` will be encoded on the classpath, and can lead to undefined behaviour."
   override protected def explain(using Context): String =
-    i"""Tooling may not cope with directories whose names do not match their package name.
-       |For example, `p-q` is encoded as `p$$minusq` and written that way to the file system.
+    i"""Tools may not handle directories whose names differ from their corresponding package names.
+       |For example, `p-q` is encoded as `p$$minusq` when written to the file system.
        |
-       |Package objects have names derived from their file names, so that names such as
-       |`myfile.test.scala` and `myfile-test.scala` will result in encoded names for package objects.
+       |Package objects derive their names from the file names, so files such as `myfile.test.scala`
+       |or `myfile-test.scala` can produce encoded names for the generated package objects.
        |
-       |The name `$name` is encoded to `${name.encode}`."""
+       |In this case, the name `$name` is encoded as `${name.encode}`."""

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

@@ -3890,8 +3890,8 @@ class Typer(@constructorOnly nestingLevel: Int = 0) extends Namer
   def typedStats(stats: List[untpd.Tree], exprOwner: Symbol)(using Context): (List[Tree], Context) = {
     val buf = new mutable.ListBuffer[Tree]
     var enumContexts: SimpleIdentityMap[Symbol, Context] = SimpleIdentityMap.empty
-      // A map from `enum` symbols to the contexts enclosing their definitions
     val initialNotNullInfos = ctx.notNullInfos
+      // A map from `enum` symbols to the contexts enclosing their definitions
     @tailrec def traverse(stats: List[untpd.Tree])(using Context): (List[Tree], Context) = stats match {
       case (imp: untpd.Import) :: rest =>
         val imp1 = typed(imp)

tests/neg/i22670.check

@@ -10,11 +10,11 @@
    |--------------------------------------------------------------------------------------------------------------------
    | Explanation (enabled by `-explain`)
    |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
-   | Tooling may not cope with directories whose names do not match their package name.
-   | For example, `p-q` is encoded as `p$minusq` and written that way to the file system.
+   | Tools may not handle directories whose names differ from their corresponding package names.
+   | For example, `p-q` is encoded as `p$minusq` when written to the file system.
    |
-   | Package objects have names derived from their file names, so that names such as
-   | `myfile.test.scala` and `myfile-test.scala` will result in encoded names for package objects.
+   | Package objects derive their names from the file names, so files such as `myfile.test.scala`
+   | or `myfile-test.scala` can produce encoded names for the generated package objects.
    |
-   | The name `i22670-macro$package` is encoded to `i22670$minusmacro$package`.
+   | In this case, the name `i22670-macro$package` is encoded as `i22670$minusmacro$package`.
     --------------------------------------------------------------------------------------------------------------------