Spurious 'type is not a member'

[OlegYch]

Compiler version

3.0.0 - 3.2.0-RC1-bin-20220511-7c446ce-NIGHTLY

Minimized code

trait DomainIdProvider[T] {
  type Id = List[T]
}
object Country extends DomainIdProvider[Country]
case class Country(
    id: Country.Id,
) 

Output

type Id is not a member of object Country

Explanation

This always compiles fine on 2.13 and sometimes on 3. I couldn't find the exact rule when it compiles and when it doesn't.
In the example above it would compile fine if i move case class definition before object, but in other cases this doesn't help.

[prolativ]

but in other cases this doesn't help

@OlegYch not sure if I got this right. Do you mean there are some cases when changing the order of declaration of a class and its companion doesn't make the code compile? Could you give an example then?

[OlegYch]

@prolativ yep that's what i mean
i couldn't minimise it though

[OlegYch]

sometimes it would compile incrementally, but fail after clean

[prolativ]

If you have any unminimized examples, that would be helpful too anyway

[OlegYch]

case class Province(code: Province.Id, symbol: String)
object Province extends DomainIdProvider[Province]

for example this compiles incrementally, but doesn't after clean

[prolativ]

I haven't managed to reproduce the problem for this case ...
Do you put

trait DomainIdProvider[T] {
  type Id = List[T]
}

in another file and then try to compile both files with a single scalac command?

[OlegYch]

@prolativ yep

[OlegYch]

any news on this?

[OlegYch]

a bit simpler repro:

class X[T] {
  type Id = T
}
object A extends X[B]
class B(id: A.Id)

[OlegYch]

still an issue on 3.2.1-RC1-bin-20220723-1b299b3-NIGHTLY