path: root/test/pending/neg/t8079d.scala

trait C[-I] {
  protected[this] type X = C[I]
  def f2(b: X): Unit
}