blob: a366f737b0a77174b02d90dfe39b7493851c51db [file] [log] [blame]
C1 c1 = throw '';
C2 c2 = throw '';
C3 c3 = throw '';
C4 c4 = throw '';
D1 d1 = throw '';
D2 d2 = throw '';
D3 d3 = throw '';
D4 d4 = throw '';
E e = throw '';
class B<X, Y> {}
class C1<X extends X Function(Y), Y extends X Function(Y)> {}
class C2<X extends X Function(Y), Y extends Y Function(X)> {}
class C3<X extends X Function(X, Y), Y extends X Function(X, Y)> {}
class C4<X extends X Function(X, Y), Y extends Y Function(X, Y)> {}
class D1<X extends B<X, Y>, Y extends X Function(Y)> {}
class D2<X extends B<X, Y>, Y extends Y Function(X)> {}
class D3<X extends B<X, Y>, Y extends X Function(X, Y)> {}
class D4<X extends B<X, Y>, Y extends Y Function(X, Y)> {}
class E<X extends X Function(X)> {}
main() {}