path: root/tests/pending/run/t6443b.scala

trait A {
  type D >: Null <: C
  def foo(d: D)(d2: d.type): Unit
  trait C {
    def bar: Unit = foo(null)(null)
  }
}
object B extends A {
  class D extends C

  def foo(d: D)(d2: d.type): Unit = () // Bridge method required here!
}

object Test extends dotty.runtime.LegacyApp {
  new B.D().bar
}