| library; |
| // |
| // Problems in library: |
| // |
| // pkg/front_end/testcases/patterns/invalid.dart:5:8: Error: Type 'Unresolved' not found. |
| // method(Unresolved o) { |
| // ^^^^^^^^^^ |
| // |
| // pkg/front_end/testcases/patterns/invalid.dart:5:8: Error: 'Unresolved' isn't a type. |
| // method(Unresolved o) { |
| // ^^^^^^^^^^ |
| // |
| // pkg/front_end/testcases/patterns/invalid.dart:13:10: Error: The method '<' isn't defined for the class 'List<invalid-type>'. |
| // - 'List' is from 'dart:core'. |
| // Try correcting the name to the name of an existing method, or defining a method named '<'. |
| // case < 5: // TODO(johnniwinther): Why do we get an error here? |
| // ^ |
| // |
| import self as self; |
| import "dart:core" as core; |
| |
| static method method(invalid-type o) → dynamic { |
| #L1: |
| { |
| final synthesized invalid-type #0#0 = o; |
| synthesized core::int #0#2; |
| synthesized core::bool #0#2#isSet = false; |
| synthesized core::Object? #0#14; |
| synthesized core::bool #0#14#isSet = false; |
| { |
| lowered hoisted core::List<invalid-type> a#case#0; |
| lowered hoisted core::Object? a#case#1; |
| if(#0#0 is core::List<invalid-type> && (#0#2#isSet ?{core::int} #0#2{core::int} : let final dynamic #t1 = #0#2#isSet = true in #0#2 = #0#0.{core::List::length}{core::int}) =={core::num::==}{(core::Object) → core::bool} #C1 || (#0#2#isSet ?{core::int} #0#2{core::int} : let final dynamic #t2 = #0#2#isSet = true in #0#2 = #0#0.{core::List::length}{core::int}).{core::num::>=}(#C2){(core::num) → core::bool} && (let final dynamic #t3 = a#case#0 = #0#0.{core::List::sublist}(1, (#0#2#isSet ?{core::int} #0#2{core::int} : let final dynamic #t4 = #0#2#isSet = true in #0#2 = #0#0.{core::List::length}{core::int}).{core::num::-}(1){(core::num) → core::int}){(core::int, [core::int?]) → core::List<invalid-type>} in true) || true || #0#0 is core::Map<core::Object?, core::Object?> && (!((#0#14#isSet ?{core::Object?} #0#14{core::Object?} : let final dynamic #t5 = #0#14#isSet = true in #0#14 = #0#0{core::Map<core::Object?, core::Object?>}.{core::Map::[]}(#C3){(core::Object?) → core::Object?}) == null) || null is core::Object? && #0#0{core::Map<core::Object?, core::Object?>}.{core::Map::containsKey}(#C3){(core::Object?) → core::bool}) && #C1 =={core::num::==}{(core::Object) → core::bool} (#0#14#isSet ?{core::Object?} #0#14{core::Object?} : let final dynamic #t6 = #0#14#isSet = true in #0#14 = #0#0{core::Map<core::Object?, core::Object?>}.{core::Map::[]}(#C3){(core::Object?) → core::Object?}) || #0#0 is core::String && #C4 =={core::num::==}{(core::Object) → core::bool} (#0#2#isSet ?{core::int} #0#2{core::int} : let final dynamic #t7 = #0#2#isSet = true in #0#2 = #0#0{core::String}.{core::String::length}{core::int}) || #0#0 =={core::List::==}{(core::Object) → core::bool} #C4 || invalid-expression "pkg/front_end/testcases/patterns/invalid.dart:13:10: Error: The method '<' isn't defined for the class 'List<invalid-type>'. |
| - 'List' is from 'dart:core'. |
| Try correcting the name to the name of an existing method, or defining a method named '<'. |
| case < 5: // TODO(johnniwinther): Why do we get an error here? |
| ^" || #0#0 is (core::Object?, {a: core::Object?}) && #C3 =={core::num::==}{(core::Object) → core::bool} #0#0{(core::Object?, {a: core::Object?})}.$1{core::Object?} && (let final dynamic #t8 = a#case#1 = #0#0{(core::Object?, {a: core::Object?})}.a{core::Object?} in true)) { |
| } |
| } |
| } |
| } |
| |
| constants { |
| #C1 = 1 |
| #C2 = 2 |
| #C3 = 0 |
| #C4 = 5 |
| } |