1/*
2 * @test /nodynamiccopyright/
3 * @bug 4916567
4 * @summary integrate improved wildcard substitution from CPH
5 * @author gafter
6 *
7 * @compile/fail/ref=ParamCast.out -XDrawDiagnostics ParamCast.java
8 */
9
10class A<T> {}
11class B<S, T> extends A<T> {}
12
13class Main {
14    void f(A<String> as) {
15        Object o = (B<?, Integer>) as;
16    }
17}
18