Mercurial > jdk8-mips64-public > langtools / file diff

     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/test/tools/javac/generics/inference/6315770/T6315770.java	Wed Apr 27 01:34:52 2016 +0800
     1.3 @@ -0,0 +1,19 @@
     1.4 +/**
     1.5 + * @test /nodynamiccopyright/
     1.6 + * @bug     6315770
     1.7 + * @summary javac inference allows creation of strange types: Integer & Runnable
     1.8 + * @author Maurizio Cimadamore
     1.9 + *
    1.10 + * @compile/fail/ref=T6315770.out T6315770.java -XDrawDiagnostics
    1.11 + */
    1.12 +
    1.13 +class T6315770<V> {
    1.14 +    <T extends Integer & Runnable> T6315770<T> m() {
    1.15 +        return null;
    1.16 +    }
    1.17 +    void test() {
    1.18 +        T6315770<?> c1 = m();
    1.19 +        T6315770<? extends String> c2 = m();
    1.20 +        T6315770<? super String> c3 = m();
    1.21 +    }
    1.22 +}