test/tools/javac/generics/InterfaceCast1.java

changeset 289
84061bd68019
parent 1
9a66ca7c79fa
child 554
9d9f26857129
equal deleted inserted replaced
288:d402db1005ad 289:84061bd68019
25 * @test 25 * @test
26 * @bug 4453032 26 * @bug 4453032
27 * @summary overridden interface method causes the compiler to reject cast 27 * @summary overridden interface method causes the compiler to reject cast
28 * @author gafter 28 * @author gafter
29 * 29 *
30 * @compile -source 1.5 InterfaceCast1.java 30 * @compile InterfaceCast1.java
31 */ 31 */
32 32
33 public class InterfaceCast1 { 33 public class InterfaceCast1 {
34 public static void main(String[] args) throws Exception { 34 public static void main(String[] args) throws Exception {
35 } 35 }

mercurial