pkg/front_end/testcases/general/inference_invariant_incompatible_constraints.dart.textual_outline.expect

typedef Invariant<X> = X Function(X x);

X inferable<X>() => throw 0;

void context<X>(Invariant<X> Function() g) => g();

test() => context(() => inferable());