| library test; | |
| typedef void F<T>(T t); | |
| abstract class A<T> { | |
| void f(T x, int y); | |
| } | |
| class B<T> implements A<F<T>> { | |
| void f(F<T> x, int y) {} | |
| } | |
| abstract class I<T> implements A<F<T>> { | |
| void f(F<T> x, Object y); | |
| } | |
| abstract class C<T> extends B<F<T>> implements I<F<T>> {} | |
| void main() {} |