import 'dart:async';

class Check {
  final _ignored;
  const Check(x, y)
      : assert(identical(x, y)),
        _ignored = identical(x, y) ? 42 : 1 ~/ 0;
}

void expectEqual(x, y) {}

class A<X> {
  const A();
}

typedef F1 = A<FutureOr<dynamic>> Function();
typedef F2 = A<dynamic> Function();
typedef F3 = A<FutureOr<FutureOr<dynamic>?>> Function();
typedef F4 = A Function();
test1() {}
main() {}
