blob: d942459823402823bd7236aed6d4e71aba58fc62 [file] [log] [blame] [edit]
class C {
T call<T>(T t) => t;
}
X Function(String) f<X>(X Function(String) g) => g;
void main() {}
typedef Exactly<X> = X Function(X);
class Checker<X> {
final X x;
Checker(this.x);
X expectStaticType<Y extends Exactly<X>>() => x;
}