path: root/tests/pos/i1181c.scala

class Foo[A]

trait Bar[DD[_,_]] {
  val x: DD[Int, Int]
}

trait Baz extends Bar[[X,Y] -> Foo[X]] {
  def foo[M[_,_]](x: M[Int, Int]) = x

  foo(x)
}