path: root/test/files/pos/ksbug1.scala

object test {
  type z[a,b] = a => b
  def f : z[int,int] = (i => i + 1)
}