False shadowing deprecation warning from #8353

[soronpo]

The following code emits a class shadowing deprecation warning where none exists (AFAIK).
This code compiles in dotty 0.22.0-RC1 without any warnings.

trait Bar {
  trait Foo
  val Foo : Foo
}
object SomeBar extends Bar {
  object Foo extends Foo
}

[lrytz]

Thanks for testing the snapshot!

[som-snytt]

I'll spend a few minutes this evening, as I'm also interested in #8121 false warning.

[som-snytt]

Are type members allowed to shadow nested classes in parents? That seems like cheating.

[Jasper-M]

Are type members allowed to shadow nested classes in parents? That seems like cheating.

This is some weird stuff.

scala> trait A { type Foo; def foo: Foo }
trait A

scala> class B extends A { class Foo(); val foo = new Foo() }
class B

scala> class C extends B { type Foo = String; override val foo: this.Foo = "foo" }
                                                           ^
       error: incompatible type in overriding
       val foo: C.this.Foo (defined in class B);
        found   : C.this.java.lang.Foo
           (which expands to)  String
        required: C.this.Foo(in class B)

scala> class C extends B { type Foo = String; override val foo: super.Foo = new super.Foo() }
                                                           ^
       error: incompatible type in overriding
       def foo: C.this.Foo (defined in trait A);
        found   : C.this.Foo(in class B)
        required: C.this.java.lang.Foo
           (which expands to)  String

scala> class C extends B { type Foo = String; override val foo: super.Foo with this.Foo = null }
class C

Also, lol @ C.this.java.lang.Foo