Java example source code file (T6714835.java)

This example Java source code file (T6714835.java) is included in the alvinalexander.com "Java Source Code Warehouse" project. The intent of this project is to help you "Learn Java by Example" ^TM.

Learn more about this Java project at its project page.

Java - Java tags/keywords

collection, integer, number, t6714835, util

The T6714835.java Java example source code

/*
 * @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)x; //ok
        Collection<? super Integer> x2 = (Collection)x; //warn
    }

    void cast2(Iterable<? super Number> x) {
        Collection<? super Integer> x1 = (Collection)x; //ok
        Collection<? extends Number> x2 = (Collection)x; //warn
    }
}