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

 /*

  * @test /nodynamiccopyright/

  * @author mcimadamore

  * @bug     6714835

  * @summary Safe cast is rejected (with warning) by javac

  * @compile/fail/ref=T6714835.out -Xlint:unchecked -Werror -XDrawDiagnostics T6714835.java

  */

 import java.util.*;

 class T6714835 {

     void cast1(Iterable<? extends Integer> x) {

         Collection<? extends Number> x1 = (Collection<? extends Number>)x; //ok

         Collection<? super Integer> x2 = (Collection<? super Integer>)x; //warn

     }

     void cast2(Iterable<? super Number> x) {

         Collection<? super Integer> x1 = (Collection<? super Integer>)x; //ok

         Collection<? extends Number> x2 = (Collection<? extends Number>)x; //warn

     }

 }