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

t8079d.scala:3: error: contravariant type I occurs in covariant position in type C.this.X of value b
  def f2(b: X): Unit
         ^
one error found