blob: 6f6617247f102b097ec7febdb2c735325551f766 [file] [log] [blame]
void f<X>(X? arg) {}
typedef Exactly<T> = T Function(T);
extension CheckType<T> on T {
void expect<S extends Exactly<T>>() {}
}
void main() {}