t3272.scala « pos « tests - dotty - Research platform for new language concepts and compiler technologies for Scala.

about summary refs log tree commit diff

path: root/tests/pos/t3272.scala

blob: cf54d6a848fe93a1f719dfaabf6c3bf3d373d71f (plain) (blame)

trait A {
  trait C[+T] {
    protected[this] def f(t: T): Unit = {}
  }
  trait D[T] extends C[T] {
    def g(t: T): Unit = { f(t) }
  }
}