aoqi@0: /*
aoqi@0:  * @test /nodynamiccopyright/
aoqi@0:  * @author mcimadamore
aoqi@0:  * @bug     6714835
aoqi@0:  * @summary Safe cast is rejected (with warning) by javac
aoqi@0:  * @compile/fail/ref=T6714835.out -Xlint:unchecked -Werror -XDrawDiagnostics T6714835.java
aoqi@0:  */
aoqi@0: 
aoqi@0: import java.util.*;
aoqi@0: 
aoqi@0: class T6714835 {
aoqi@0:     void cast1(Iterable<? extends Integer> x) {
aoqi@0:         Collection<? extends Number> x1 = (Collection<? extends Number>)x; //ok
aoqi@0:         Collection<? super Integer> x2 = (Collection<? super Integer>)x; //warn
aoqi@0:     }
aoqi@0: 
aoqi@0:     void cast2(Iterable<? super Number> x) {
aoqi@0:         Collection<? super Integer> x1 = (Collection<? super Integer>)x; //ok
aoqi@0:         Collection<? extends Number> x2 = (Collection<? extends Number>)x; //warn
aoqi@0:     }
aoqi@0: }