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<T extends core::Object> = (T) → dynamic;
typedef B<S extends (S) → dynamic> = (S) → dynamic;
static field ((core::Null) → dynamic) → dynamic b;
static method main() → dynamic {}