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

Thu, 21 Feb 2013 15:27:05 +0000

author
mcimadamore
date
Thu, 21 Feb 2013 15:27:05 +0000
changeset 1600
3fef0cae83b3
parent 996
384ea9a98912
child 1721
abd153854f16
permissions
-rw-r--r--

8008444: Inherited generic functional descriptors are merged incorrectly
Summary: Missing call to Types.createMethodWithThrownTypes
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