blob: 5c6482a6c8b2f1da7598d7155949492a27246ffb [file] [log] [blame]
class C<T extends Object> {
void something(T? Function() read) {}
}
class Foo<T> {}
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() {}