blob: daa08cb3683f8fe56a1bf64ad19c5e3ef2480266 [file] [log] [blame]
Type? _capturedTypeArgument;
X captureTypeArgument<X>() {}
class A<X extends A<X>> {}
typedef C<X extends A<X>> = A<X>;
void topLevel1<X extends A<X>>(A<X> Function() g) => g();
void topLevel2<X extends C<X>>(C<X> Function() g) => g();
class Class {
void instance1<X extends A<X>>(A<X> Function() g) => g();
void instance2<X extends C<X>>(C<X> Function() g) => g();
void test() {}
}
class Subclass extends Class {
void test() {}
}
main() {}