/*

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

        }

    }

}