Fix CI

Author: liufengyun

compiler/src/dotty/tools/dotc/transform/SymUtils.scala

@@ -138,7 +138,7 @@ class SymUtils(val self: Symbol) extends AnyVal {
     def register(child: Symbol, parent: Type) = {
       val cls = parent.classSymbol
       if (cls.is(Sealed)) {
-        if ((child.isLocal || child.isAnonymousClass) && !self.hasAnonymousChild)
+        if ((child.isInaccessibleChildOf(cls) || child.isAnonymousClass) && !self.hasAnonymousChild)
           cls.addAnnotation(Annotation.Child(cls))
         else cls.addAnnotation(Annotation.Child(child))
       }

compiler/src/dotty/tools/dotc/transform/patmat/Space.scala

@@ -777,8 +777,6 @@ class SpaceEngine(implicit ctx: Context) extends SpaceLogic {
       case tp: RefinedType => refine(tp.parent)
       case tp: AppliedType => refine(tp.typeConstructor)
       case tp: ThisType => refine(tp.tref)
-      case TypeRef(NoPrefix, _) if tp.classSymbol.isAnonymousClass =>
-        tp.parents.reduce(AndType.apply).show + "(anonymous)"
       case tp: NamedType =>
         val pre = refinePrefix(tp.prefix)
         if (tp.name == tpnme.higherKinds) pre
@@ -852,6 +850,8 @@ class SpaceEngine(implicit ctx: Context) extends SpaceLogic {
           if (mergeList) "_: _*" else "_: List"
         else if (scalaConsType.isRef(sym))
           if (mergeList) "_, _: _*"  else "List(_, _: _*)"
+        else if (tp.classSymbol.is(Sealed) && tp.classSymbol.hasAnonymousChild)
+          "_: " + showType(tp) + " (anonymous)"
         else if (tp.classSymbol.is(CaseClass) && !hasCustomUnapply(tp.classSymbol))
         // use constructor syntax for case class
           showType(tp) + params(tp).map(_ => "_").mkString("(", ", ", ")")

tests/patmat/anonym.check

@@ -1 +1 @@
-10: Pattern Match Exhaustivity: _: Identifier(anonymous)
+10: Pattern Match Exhaustivity: _: Identifier (anonymous)

tests/patmat/t9677.check

@@ -0,0 +1 @@
+18: Pattern Match Exhaustivity: _: Base (anonymous)

tests/patmat/t9677.scala

@@ -15,7 +15,7 @@ object ExhaustiveMatchWarning {
 
   def test: Unit = {
     val b: Base = A("blabla")
-    b match {
+    b match {    // A.apply creates anonymous class <: Base
       case A.Root => println("Root")
       case path: A => println("Not root")
     }