aoqi@0: /**
aoqi@0:  * @test /nodynamiccopyright/
aoqi@0:  * @bug     6315770
aoqi@0:  * @summary javac inference allows creation of strange types: Integer & Runnable
aoqi@0:  * @author Maurizio Cimadamore
aoqi@0:  *
aoqi@0:  * @compile/fail/ref=T6315770.out T6315770.java -XDrawDiagnostics
aoqi@0:  */
aoqi@0: 
aoqi@0: class T6315770<V> {
aoqi@0:     <T extends Integer & Runnable> T6315770<T> m() {
aoqi@0:         return null;
aoqi@0:     }
aoqi@0:     void test() {
aoqi@0:         T6315770<?> c1 = m();
aoqi@0:         T6315770<? extends String> c2 = m();
aoqi@0:         T6315770<? super String> c3 = m();
aoqi@0:     }
aoqi@0: }