pkg/front_end/testcases/instantiate_to_bound/typedef_super_bounded_type.dart.strong.expect

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

typedef A<contravariant T extends core::Object? = dynamic> = (T%) → dynamic;
typedef B<contravariant S extends (S) → dynamic = (dynamic) → dynamic> = (S) → dynamic;
static field ((dynamic) → dynamic) → dynamic b = throw "";
static method main() → dynamic {}