blob: 0880a40faa9a51f08adb331466458a57af8b0e0d (
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.
|