A1 foo1(A1 a) => throw 42;
A2 foo2(A2<int> a, A2 ai) => throw 42;
A3 foo3(A3<int, Function(num)> a, A3 ai) => throw 42;
A4 foo4(A4<int, Function(num)> a, A4 ai) => throw 42;
bar() {}

class Bar<X, Y> {}

class Foo<X> {}

extension A1 on dynamic {}

extension A2<X> on Foo<X> {}

extension A3<X, Y extends Function(X)> on Bar<X, Y> {}

extension A4<X, Y extends Function(X)> on Foo<Y> {}

main() {}