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

Wed, 27 Apr 2016 01:34:52 +0800

author
aoqi
date
Wed, 27 Apr 2016 01:34:52 +0800
changeset 0
959103a6100f
child 2525
2eb010b6cb22
permissions
-rw-r--r--

Initial load
http://hg.openjdk.java.net/jdk8u/jdk8u/langtools/
changeset: 2573:53ca196be1ae
tag: jdk8u25-b17

     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