test/tools/javac/generics/7034511/T7034511a.java

Mon, 24 Oct 2011 13:00:30 +0100

author
mcimadamore
date
Mon, 24 Oct 2011 13:00:30 +0100
changeset 1114
05814303a056
parent 996
384ea9a98912
child 1721
abd153854f16
permissions
-rw-r--r--

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=T7034511a.out -XDrawDiagnostics T7034511a.java
     7  */
     9 class T7034511a {
    11     interface A<T> {
    12         void foo(T x);
    13     }
    15     interface B<T> extends A<T[]> { }
    17     static abstract class C implements B<Integer> {
    18         <T extends B<?>> void test(T x, String[] ss) {
    19             x.foo(ss);
    20         }
    21     }
    22 }

mercurial