class default parameter values have access to companion object members while it should be a compilation error

[unkarjedy]

Scala 3.3.1

class MyClass(int: Int = fooInt) {  //no error, expected "Not found: fooInt"
  println(fooInt) //error: "Not found: fooInt" (as expected)
}

object MyClass {
  def fooInt: Int = ???
}

The code should produce an error at the first line as fooInt is not in the scope.
The correct way to use it is to import MyClass.fooInt or use qualified name.

The same issue is for case classes and ordinary classes.

I guess it's a leaked implementation detail of "universal apply" feature + a bug in handling apply methods with default parameter values.
Now even non-case classes have synthetic apply methods.
It seams during compilation the default arguments are simply moved to the apply method of companion object (potentially synthetic), where object members are accessible.

[OndrejSpanel]

This reminds me of https://stackoverflow.com/a/43298181/16673. The underlying mechanism may be similar (default values evaluated in context of the companion), but that one is already fixed in Scala 3.

[odersky]

It's just the default getter that is moved to the companion object. Do other versions of Scala 2 or 3 have the same problem?

[odersky]

When I try with Scala 2.13 I see the same behavior. (But I agree it is a bug).

One more reason to look for a better scheme to handle default paramaters. Default getters have a lot of problems.