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

Mon, 21 Jan 2013 20:13:56 +0000

author
mcimadamore
date
Mon, 21 Jan 2013 20:13:56 +0000
changeset 1510
7873d37f5b37
parent 996
384ea9a98912
child 1721
abd153854f16
permissions
-rw-r--r--

8005244: Implement overload resolution as per latest spec EDR
Summary: Add support for stuck expressions and provisional applicability
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