blob: 23b49a3666a40bc369a2b7f460d42ecaef7d9b70 [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() {}