blob: 3f4306c0919b4ad441eb5334f6c2e77f100f333e (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
trait A {
type T
def f(x : T) : T
}
trait B extends A {
trait T { }
override def f(x : T) : T = x
}
object C extends B {
override trait T {
def g { }
}
override def f(x : T) : T = { x.g; x }
}
//It compiles without errors, but T in B and T in C are completely unrelated types.
|
