blob: 86dadf0b5ddd9df512291f1b2c9787624a2cb91d [file] [log] [blame] [edit]
class A<X1 extends G<num>> {}
class B<X2 extends H<num>> {}
class C<X3 extends I<num>> {}
class D<X4 extends J<num>> {}
main() {}
typedef G<X1> = void Function<Y1 extends X1>();
typedef H<X2> = (void Function<Y2 extends X2>(), int);
typedef I<X3> = ({void Function<Y3 extends X3>() a, int b});
typedef J<X4> = void Function<Y4 extends K<X4>>();
typedef K<X4> = void Function<Y4 extends X4>();