path: root/test/files/neg/t8079a.scala

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