| 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 |
| } |