blob: c3b4222d1686509ff4336e276268c80537934ac5 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
public class Test {
public static void main(String[] args) {
// To get better types here, we would need to
// add bridge during mixin so we can expose
// a generic return type of Traversable<A>, because the erasure
// of this (Traversable) differs from the erasure of the mixed
// method (erasure(Repr) = Object)
Object lsSharp = O.tail();
Object lsSharp2 = new C<String>().tail();
}
}
|