| library /*isNonNullableByDefault*/; |
| import self as self; |
| import "dart:core" as core; |
| |
| static method test(dynamic x) → dynamic { |
| { |
| core::int a; |
| final dynamic #0#0 = x; |
| late final dynamic #0#6 = #0#0{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic}; |
| if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#0{core::List<dynamic>}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (#0#6 is{ForNonNullableByDefault} core::int && (let final dynamic #t1 = a = #0#6{core::int} in true)) && a.{core::num::>}(0){(core::num) → core::bool}) { |
| return a; |
| } |
| } |
| return 0; |
| } |
| static method main() → dynamic { |
| self::expectEquals(1, self::test(<core::int>[1])); |
| self::expectEquals(0, self::test(<core::int>[0])); |
| self::expectEquals(0, self::test(<core::int>[1.{core::int::unary-}(){() → core::int}])); |
| } |
| static method expectEquals(dynamic x, dynamic y) → dynamic { |
| if(!(x =={core::Object::==}{(core::Object) → core::bool} y)) { |
| throw "Expected ${x} to be equal to ${y}."; |
| } |
| } |
| |
| constants { |
| #C1 = 1 |
| } |
