blob: 4172321daf4c8d1a968897c49f59338e08e52242 [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() {}