Cross Reference: T6714835.java
xref
: /
openjdk7
/
langtools
/
test
/
tools
/
javac
/
cast
/
6714835
/
T6714835.java
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
735
N/A
/*
735
N/A
* @test /nodynamiccopyright/
735
N/A
* @author mcimadamore
735
N/A
* @bug 6714835
735
N/A
* @summary Safe cast is rejected (with warning) by javac
735
N/A
* @
compile
/
fail
/
ref
=T6714835.out -Xlint:unchecked -Werror -XDrawDiagnostics
T6714835.java
735
N/A
*/
735
N/A
735
N/A
import
java
.
util
.*;
735
N/A
735
N/A
class
T6714835
{
735
N/A
void
cast1
(
Iterable
<?
extends
Integer
> x) {
735
N/A
Collection
<?
extends
Number
>
x1
= (
Collection
<?
extends
Number
>)x;
//ok
735
N/A
Collection
<?
super
Integer
>
x2
= (
Collection
<?
super
Integer
>)x;
//warn
735
N/A
}
735
N/A
735
N/A
void
cast2
(
Iterable
<?
super
Number
> x) {
735
N/A
Collection
<?
super
Integer
>
x1
= (
Collection
<?
super
Integer
>)x;
//ok
735
N/A
Collection
<?
extends
Number
>
x2
= (
Collection
<?
extends
Number
>)x;
//warn
735
N/A
}
735
N/A
}