|  | library; | 
|  | import self as self; | 
|  | import "dart:core" as core; | 
|  |  | 
|  | class Foo<S extends core::num> extends core::Object { | 
|  | synthetic constructor •() → self::Foo<self::Foo::S> | 
|  | : super core::Object::•() | 
|  | ; | 
|  | method test1(covariant-by-class self::Foo::S x) → void { | 
|  | (self::Foo::S) → self::Foo::S f = self::Test|get#test<self::Foo::S>(x); | 
|  | } | 
|  | } | 
|  | extension Test<T extends core::Object? = dynamic> on T% { | 
|  | get test = self::Test|get#test; | 
|  | } | 
|  | static extension-member method Test|get#test<T extends core::Object? = dynamic>(lowered final self::Test|get#test::T% #this) → (self::Test|get#test::T%) → self::Test|get#test::T% | 
|  | return (self::Test|get#test::T% a) → self::Test|get#test::T% => #this; | 
|  | static method main() → void {} |