content of modules with name ending by `$package` are always accessible

[hamzaremmal]

Compiler version

d5fec8f

Minimized code

object $package:
    def foo(x: Int): Unit = ???

object Foo:
    val x = foo(1)

Output

Compiles

Expectation

It should not compile. At no point did I import the content of $package so that I can use it without the qualifier.

Notes

This probably has to do with the logic to handle top-level definitions since this the desugared version of:

def foo(x: Int): Unit = ???

object Foo:
    val x = foo(1)

[sjrd]

$s in identifiers are reserved by spec. If you mess with the compiler, the compiler messes with you. 🤷‍♂️

[som-snytt]

It is indeed a name test. If this were worth fixing, package object p is named package and top-level wrappers are named file$package and are synthetic (per the $PEC). Anything else would be deemed an ordinary object.