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
1 /*
2 * @test /nodynamiccopyright/
3 * @ignore backing out 7034511, see 7040883
4 * @bug 7034511 7040883
5 * @summary Loophole in typesafety
6 * @compile/fail/ref=T7034511b.out -XDrawDiagnostics T7034511b.java
7 */
9 class T7034511b {
10 static class MyList<E> {
11 E toArray(E[] e) { return null; }
12 }
14 void test(MyList<?> ml, Object o[]) {
15 ml.toArray(o);
16 }
17 }