f96b6beefc ^
7d71e4cf09 ^
1
2 3 4
object test { type z[a, b] = a => b def f : z[Int, Int] = (i => i + 1) }