blob: e4d771a078f01c9b32158002573bf0f92a4a4081 (
plain) (
tree)
|
|
object Test {
class C { type T }
def f(x: C, y: x.T): x.T = y // ok
def g(y: x.T, x: C): x.T = y // error
def h(x: x.T) = ??? // error
def g(x: => C): x.T = ??? // error: x is not stable
}
|