jdk8-mips64-public/langtools: test/tools/javac/generics/inference/6315770/T6315770.java@2eb010b6cb22

test/tools/javac/generics/inference/6315770/T6315770.java@2eb010b6cb22

Thu, 31 Aug 2017 15:17:03 +0800

merge

     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 }