pkg/front_end/testcases/inference/inferred_type_is_typedef_parameterized.dart.strong.expect

library test;
import self as self;
import "dart:core" as core;

typedef F<T extends core::Object = dynamic> = () → T;
static final field core::Map<core::String, () → core::int> x = <core::String, () → core::int>{};
static method main() → dynamic {}