blob: e97f1998ce330aa3271ba262da3218eae91cef46 [file] [log] [blame]
class Foo<T> {}
class C<T extends Object> {
void something(T? Function() read) {}
}
extension CheckType<T> on T {
void expect<S extends Exactly<T>>() {}
}
extension CheckTypeArgumentOfFoo<T> on Foo<T> {
void expect<S extends Exactly<T>>() {}
}
typedef Exactly<T> = T Function(T);
void main() {}