inference/6315770/T6315770.java

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