| library; |
| import self as self; |
| import "dart:core" as core; |
| |
| static method test1(core::List<dynamic> list) → core::String { |
| return block { |
| core::String #t1; |
| final synthesized core::List<dynamic> #0#0 = list; |
| #L1: |
| { |
| { |
| hoisted core::List<core::int> r1; |
| if(#0#0 is core::List<core::int> && #0#0{core::List<core::int>}.{core::List::length}{core::int}.{core::num::>=}(#C1){(core::num) → core::bool} && #C2 =={core::num::==}{(core::Object) → core::bool} #0#0{core::List<core::int>}.{core::List::[]}(0){(core::int) → core::int} && #C3 =={core::num::==}{(core::Object) → core::bool} #0#0{core::List<core::int>}.{core::List::[]}(1){(core::int) → core::int} && #C4 =={core::num::==}{(core::Object) → core::bool} #0#0{core::List<core::int>}.{core::List::[]}(2){(core::int) → core::int} && #C1 =={core::num::==}{(core::Object) → core::bool} #0#0{core::List<core::int>}.{core::List::[]}(3){(core::int) → core::int}) { |
| r1 = #0#0{core::List<core::int>}.{core::List::sublist}(4){(core::int, [core::int?]) → core::List<core::int>}; |
| #t1 = r1.{core::Object::toString}(){() → core::String}; |
| break #L1; |
| } |
| } |
| { |
| if(true) { |
| #t1 = "default"; |
| break #L1; |
| } |
| } |
| } |
| } =>#t1; |
| } |
| static method main() → dynamic { |
| self::test1(<dynamic>[1, 2, 3, 4, 5, 6]); |
| } |
| |
| constants { |
| #C1 = 4 |
| #C2 = 1 |
| #C3 = 2 |
| #C4 = 3 |
| } |