Mercurial > jdk8-mips64-public > langtools / annotate
test/tools/javac/cast/6714835/T6714835.java@809a50f24d6f (annotated)
test/tools/javac/cast/6714835/T6714835.java
Mon, 23 Sep 2013 17:27:38 +0400
- author
- kizune
- date
- Mon, 23 Sep 2013 17:27:38 +0400
- changeset 2048
- 809a50f24d6f
- parent 0
- 959103a6100f
- permissions
- -rw-r--r--
7154966: CRs found to be in Fixed state with no test and no noreg- keyword.
Reviewed-by: ksrini
| aoqi@0 | 1 | /* |
| aoqi@0 | 2 | * @test /nodynamiccopyright/ |
| aoqi@0 | 3 | * @author mcimadamore |
| aoqi@0 | 4 | * @bug 6714835 |
| aoqi@0 | 5 | * @summary Safe cast is rejected (with warning) by javac |
| aoqi@0 | 6 | * @compile/fail/ref=T6714835.out -Xlint:unchecked -Werror -XDrawDiagnostics T6714835.java |
| aoqi@0 | 7 | */ |
| aoqi@0 | 8 | |
| aoqi@0 | 9 | import java.util.*; |
| aoqi@0 | 10 | |
| aoqi@0 | 11 | class T6714835 { |
| aoqi@0 | 12 | void cast1(Iterable<? extends Integer> x) { |
| aoqi@0 | 13 | Collection<? extends Number> x1 = (Collection<? extends Number>)x; //ok |
| aoqi@0 | 14 | Collection<? super Integer> x2 = (Collection<? super Integer>)x; //warn |
| aoqi@0 | 15 | } |
| aoqi@0 | 16 | |
| aoqi@0 | 17 | void cast2(Iterable<? super Number> x) { |
| aoqi@0 | 18 | Collection<? super Integer> x1 = (Collection<? super Integer>)x; //ok |
| aoqi@0 | 19 | Collection<? extends Number> x2 = (Collection<? extends Number>)x; //warn |
| aoqi@0 | 20 | } |
| aoqi@0 | 21 | } |
