/* | |
* @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; | |
} | |
} | |
} |