pkg/front_end/testcases/runtime_checks_new/contravariant_index_get.dart.textual_outline_modelled.expect

library test;

F<num> test(C<num> c) {}

class C<T> {
  F<T> operator [](int i) => throw '';
}

main() {}

typedef void F<T>(T x);