blob: acb7e9b8262211db6988f887424df9cddae2fff7 [file] [log] [blame]
class C<X> {
factory C() => new C.foo();
C.foo() {}
factory C.bar() = C;
}
class D<X> {
D();
factory D.foo() => new D();
factory D.bar() = D;
}
typedef G<X> = X Function(X);
typedef A<X extends G<C<X>>> = C<X>;
typedef B<X extends G<D<X>>> = D<X>;
test() {}
main() {}