blob: b4b3e8605e148cea2c3e9c02067f8d3272961fcf (
plain) (
blame)
1
2
3
4
5
|
t1659.scala:3: error: overriding method u in trait W of type [A](Y{type X = A})Unit;
method u has incompatible type
class Z extends W { def u[A](v : Y { type X = A }) = null }
^
one error found
|