|  | library test; | 
|  | import self as self; | 
|  | import "dart:core" as core; | 
|  |  | 
|  | import "dart:async"; | 
|  |  | 
|  | class B extends core::Object { | 
|  | synthetic constructor •() → self::B | 
|  | : super core::Object::•() | 
|  | ; | 
|  | operator [](core::int x) → core::num | 
|  | return throw ""; | 
|  | } | 
|  | class C extends self::B { | 
|  | synthetic constructor •() → self::C | 
|  | : super self::B::•() | 
|  | ; | 
|  | operator [](core::Object x) → core::int | 
|  | return throw ""; | 
|  | method h() → void { | 
|  | core::num x = super.{self::B::[]}(self::f<core::int>()); | 
|  | } | 
|  | } | 
|  | static method f<T extends core::Object? = dynamic>() → self::f::T% | 
|  | return throw ""; | 
|  | static method main() → dynamic {} |