blob: 329c51298d0ba2e25cf40b1891a07cc4bd7db50a [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() {}