ce223fe7ab ^
1 2 3 4 5 6
object Test { def precise(x: String)(y: x.type): x.type = y val foo = "foo" val fun : foo.type => foo.type = precise(foo) val bar : foo.type = precise(foo)(foo) }