18 lines
393 B
Java
18 lines
393 B
Java
/*
|
|
* @test /nodynamiccopyright/
|
|
* @bug 5064736
|
|
* @summary Incompatible types are cast without error
|
|
* @compile/fail/ref=T5064736.out -XDrawDiagnostics T5064736.java
|
|
*/
|
|
|
|
public class T5064736 {
|
|
class A {}
|
|
class B extends A {}
|
|
|
|
public class Foo<T> {
|
|
public <U extends B> void foo(Foo<? super A> param) {
|
|
Foo<U> foo = (Foo<U>)param;
|
|
}
|
|
}
|
|
}
|