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

Sat, 07 Nov 2020 10:30:02 +0800

author
aoqi
date
Sat, 07 Nov 2020 10:30:02 +0800
changeset 3938
93012e2a5d1d
parent 2525
2eb010b6cb22
permissions
-rw-r--r--

Added tag mips-jdk8u275-b01 for changeset eb6ee6a5f2fe

     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