| library; |
| import self as self; |
| import "dart:core" as core; |
| import "dart:_internal" as _in; |
| |
| static method main() → void { |
| core::List<core::int> list = <core::int>[1, 2, 3]; |
| block { |
| core::int #t1; |
| final synthesized core::List<core::int> #0#0 = list; |
| #L1: |
| { |
| { |
| if(true) { |
| #t1 = 1; |
| break #L1; |
| } |
| } |
| throw new _in::ReachabilityError::•("`null` encountered as case in a switch expression with a non-nullable type."); |
| } |
| } =>#t1; |
| block { |
| core::int #t2; |
| final synthesized core::List<core::int> #1#0 = list; |
| late final synthesized core::int #1#1 = #1#0.{core::List::length}{core::int}; |
| #L2: |
| { |
| { |
| if(#1#1.{core::num::<=}(#C1){(core::num) → core::bool}) { |
| #t2 = 1; |
| break #L2; |
| } |
| } |
| { |
| if(#1#1.{core::num::>=}(#C2){(core::num) → core::bool}) { |
| #t2 = 2; |
| break #L2; |
| } |
| } |
| throw new _in::ReachabilityError::•("`null` encountered as case in a switch expression with a non-nullable type."); |
| } |
| } =>#t2; |
| block { |
| core::int #t3; |
| final synthesized core::List<core::int> #2#0 = list; |
| late final synthesized core::int #2#1 = #2#0.{core::List::length}{core::int}; |
| #L3: |
| { |
| { |
| if(#2#1.{core::num::<=}(#C1){(core::num) → core::bool}) { |
| #t3 = 1; |
| break #L3; |
| } |
| } |
| { |
| if(#2#1 =={core::num::==}{(core::Object) → core::bool} #C2) { |
| #t3 = 2; |
| break #L3; |
| } |
| } |
| { |
| if(#2#1.{core::num::>=}(#C3){(core::num) → core::bool}) { |
| #t3 = 3; |
| break #L3; |
| } |
| } |
| throw new _in::ReachabilityError::•("`null` encountered as case in a switch expression with a non-nullable type."); |
| } |
| } =>#t3; |
| } |
| |
| constants { |
| #C1 = 0 |
| #C2 = 1 |
| #C3 = 2 |
| } |