|  | library; | 
|  | import self as self; | 
|  | import "dart:core" as core; | 
|  |  | 
|  | static method use(dynamic o) → dynamic {} | 
|  | static method f(core::List<core::int> list) → () → void { | 
|  | return block { | 
|  | () → void #t1; | 
|  | final synthesized core::List<core::int> #0#0 = list; | 
|  | #L1: | 
|  | { | 
|  | { | 
|  | final hoisted core::int item; | 
|  | if(#0#0.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1) { | 
|  | item = #0#0.{core::List::[]}(0){(core::int) → core::int}; | 
|  | #t1 = () → void { | 
|  | self::use(item); | 
|  | }; | 
|  | break #L1; | 
|  | } | 
|  | } | 
|  | { | 
|  | if(true) { | 
|  | #t1 = () → void {}; | 
|  | break #L1; | 
|  | } | 
|  | } | 
|  | } | 
|  | } =>#t1; | 
|  | } | 
|  |  | 
|  | constants  { | 
|  | #C1 = 1 | 
|  | } |