Regression: class with no object shadows outer object

Compiler version

3.0.0-RC1

Minimized code

sealed trait Children
object Children {
  sealed trait None extends Children
  sealed trait Varargs extends Children
}

sealed abstract class CtorType {
  type ChildrenType <: Children
}

object CtorType {
  final class X() extends CtorType {
    override type ChildrenType = Children.None
  }

  final class Children() extends CtorType {
    override type ChildrenType = Children.Varargs
  }
}

Output

-- Error: x.scala:13:33 --------------------------------------------------------
13 |    override type ChildrenType = Children.None
   |                                 ^^^^^^^^
   |        Reference to creator proxy for class Children in object CtorType
   |        shadows outer reference to object Children
-- Error: x.scala:17:33 --------------------------------------------------------
17 |    override type ChildrenType = Children.Varargs
   |                                 ^^^^^^^^
   |        Reference to creator proxy for class Children in object CtorType
   |        shadows outer reference to object Children
2 errors found

Expectation

It should compiles as it does in Scala 2.x.

[Jasper-M]

But “constructor proxy companions cannot be used as values by themselves”.

The documentation also says:

Scala case classes generate apply methods, so that values of case classes can be created using simple function application, without needing to write new.

Scala 3 generalizes this scheme to all concrete classes.

It’s nice that Scala 3 thinks of the poor StackOverflow answerers who came in after all the high-reputation answers were already taken. Some nice generalizations with just enough differences to thoroughly confuse people should do the trick.

[som-snytt]

The bug may be where the spec turns to their date in the darkened theater and whispers with menacing assurance:

and there is also no other value or method named C defined or inherited in the scope where C is defined.