Mon, 24 Oct 2011 13:00:30 +0100
7098660: Write better overload resolution/inference tests
Summary: Add overload/inference debug diagnostics - added test harness using annotations to check outcome of overload resolution/inference
Reviewed-by: jjg
mcimadamore@970 | 1 | /* |
mcimadamore@970 | 2 | * @test /nodynamiccopyright/ |
mcimadamore@996 | 3 | * @ignore backing out 7034511, see 7040883 |
mcimadamore@996 | 4 | * @bug 7034511 7040883 |
mcimadamore@970 | 5 | * @summary Loophole in typesafety |
mcimadamore@970 | 6 | * @compile/fail/ref=T7034511b.out -XDrawDiagnostics T7034511b.java |
mcimadamore@970 | 7 | */ |
mcimadamore@970 | 8 | |
mcimadamore@970 | 9 | class T7034511b { |
mcimadamore@970 | 10 | static class MyList<E> { |
mcimadamore@970 | 11 | E toArray(E[] e) { return null; } |
mcimadamore@970 | 12 | } |
mcimadamore@970 | 13 | |
mcimadamore@970 | 14 | void test(MyList<?> ml, Object o[]) { |
mcimadamore@970 | 15 | ml.toArray(o); |
mcimadamore@970 | 16 | } |
mcimadamore@970 | 17 | } |