blob: d195f988037fd375c72e666202b5ace88b8f67f7 [file] [log] [blame]
typedef F = Function<Y>(Y);
class A<X> {}
A<F> foo(A<F> x) => throw 42;
class B extends A<F> {}
class C<Z extends F> {}
bar<V extends F>() => throw 42;
main() {}