| library; | 
 | import self as self; | 
 | import "dart:core" as core; | 
 |  | 
 | class C extends core::Object { | 
 |   synthetic constructor •() → self::C | 
 |     : super core::Object::•() | 
 |     ; | 
 | } | 
 | extension E on self::C { | 
 |   method f = self::E|f; | 
 |   method tearoff f = self::E|get#f; | 
 | } | 
 | static extension-member method E|f(lowered final self::C #this, core::String b) → void {} | 
 | static extension-member method E|get#f(lowered final self::C #this) → (core::String) → void | 
 |   return (core::String b) → void => self::E|f(#this, b); | 
 | static method main() → void { | 
 |   dynamic b = "456"; | 
 |   self::C c = new self::C::•(); | 
 |   self::E|f(c, b as{TypeError,ForDynamic} core::String); | 
 | } |