test/tools/javac/generics/inference/6315770/T6315770.java

Thu, 27 Aug 2009 11:08:27 -0700

author
jjg
date
Thu, 27 Aug 2009 11:08:27 -0700
changeset 384
ed31953ca025
parent 210
1aa81917016a
child 2525
2eb010b6cb22
permissions
-rw-r--r--

6875336: some tests should use /nodynamiccopyright/
Reviewed-by: darcy

     1 /**
     2  * @test /nodynamiccopyright/
     3  * @bug     6315770
     4  * @summary javac inference allows creation of strange types: Integer & Runnable
     5  * @author Maurizio Cimadamore
     6  *
     7  * @compile/fail/ref=T6315770.out T6315770.java -XDrawDiagnostics
     8  */
    10 class T6315770<V> {
    11     <T extends Integer & Runnable> T6315770<T> m() {
    12         return null;
    13     }
    14     void test() {
    15         T6315770<?> c1 = m();
    16         T6315770<? extends String> c2 = m();
    17         T6315770<? super String> c3 = m();
    18     }
    19 }

mercurial