|  | library; | 
|  | // | 
|  | // Problems in library: | 
|  | // | 
|  | // pkg/front_end/testcases/extensions/missing_toplevel.dart:13:23: Error: The getter 'setter' isn't defined for the type 'Class'. | 
|  | //  - 'Class' is from 'pkg/front_end/testcases/extensions/missing_toplevel.dart'. | 
|  | // Try correcting the name to the name of an existing getter, or defining a getter or field named 'setter'. | 
|  | // var missingGetter = c.setter += 42; | 
|  | //                       ^^^^^^ | 
|  | // | 
|  | import self as self; | 
|  | import "dart:core" as core; | 
|  |  | 
|  | class Class extends core::Object { | 
|  | synthetic constructor •() → self::Class | 
|  | ; | 
|  | } | 
|  | extension Extension on self::Class { | 
|  | set setter = self::Extension|set#setter; | 
|  | } | 
|  | static field self::Class c; | 
|  | static field dynamic missingGetter; | 
|  | static extension-member method Extension|set#setter(lowered final self::Class #this, core::int value) → void | 
|  | ; | 
|  | static method main() → dynamic | 
|  | ; |