| library /*isNonNullableByDefault*/; |
| // |
| // Problems in library: |
| // |
| // pkg/front_end/testcases/general/implicit_constant_in_switch.dart:36:10: Error: The 'patterns' language feature is disabled for this library. |
| // Try removing the `@dart=` annotation or setting the language version to 3.0 or higher. |
| // case [42]: |
| // ^ |
| // pkg/front_end/testcases/general/implicit_constant_in_switch.dart:5:1: Context: This is the annotation that opts out this library from the 'patterns' language feature. |
| // // @dart=2.18 |
| // ^^^^^^^^^^^^^ |
| // |
| // pkg/front_end/testcases/general/implicit_constant_in_switch.dart:39:15: Error: The 'patterns' language feature is disabled for this library. |
| // Try removing the `@dart=` annotation or setting the language version to 3.0 or higher. |
| // case <num>[42]: |
| // ^ |
| // pkg/front_end/testcases/general/implicit_constant_in_switch.dart:5:1: Context: This is the annotation that opts out this library from the 'patterns' language feature. |
| // // @dart=2.18 |
| // ^^^^^^^^^^^^^ |
| // |
| // pkg/front_end/testcases/general/implicit_constant_in_switch.dart:50:10: Error: The 'patterns' language feature is disabled for this library. |
| // Try removing the `@dart=` annotation or setting the language version to 3.0 or higher. |
| // case {42: 'foo'}: |
| // ^ |
| // pkg/front_end/testcases/general/implicit_constant_in_switch.dart:5:1: Context: This is the annotation that opts out this library from the 'patterns' language feature. |
| // // @dart=2.18 |
| // ^^^^^^^^^^^^^ |
| // |
| // pkg/front_end/testcases/general/implicit_constant_in_switch.dart:53:23: Error: The 'patterns' language feature is disabled for this library. |
| // Try removing the `@dart=` annotation or setting the language version to 3.0 or higher. |
| // case <num, Object>{42: 'foo'}: |
| // ^ |
| // pkg/front_end/testcases/general/implicit_constant_in_switch.dart:5:1: Context: This is the annotation that opts out this library from the 'patterns' language feature. |
| // // @dart=2.18 |
| // ^^^^^^^^^^^^^ |
| // |
| // pkg/front_end/testcases/general/implicit_constant_in_switch.dart:56:15: Error: The 'patterns' language feature is disabled for this library. |
| // Try removing the `@dart=` annotation or setting the language version to 3.0 or higher. |
| // case Const(42): |
| // ^ |
| // pkg/front_end/testcases/general/implicit_constant_in_switch.dart:5:1: Context: This is the annotation that opts out this library from the 'patterns' language feature. |
| // // @dart=2.18 |
| // ^^^^^^^^^^^^^ |
| // |
| // pkg/front_end/testcases/general/implicit_constant_in_switch.dart:56:16: Error: A pattern field in an object pattern must be named. |
| // Try adding a pattern name or ':' before the pattern. |
| // case Const(42): |
| // ^ |
| // |
| // pkg/front_end/testcases/general/implicit_constant_in_switch.dart:56:10: Error: The 'patterns' language feature is disabled for this library. |
| // Try removing the `@dart=` annotation or setting the language version to 3.0 or higher. |
| // case Const(42): |
| // ^^^^^ |
| // pkg/front_end/testcases/general/implicit_constant_in_switch.dart:5:1: Context: This is the annotation that opts out this library from the 'patterns' language feature. |
| // // @dart=2.18 |
| // ^^^^^^^^^^^^^ |
| // |
| // pkg/front_end/testcases/general/implicit_constant_in_switch.dart:59:20: Error: The 'patterns' language feature is disabled for this library. |
| // Try removing the `@dart=` annotation or setting the language version to 3.0 or higher. |
| // case Const<num>(42): |
| // ^ |
| // pkg/front_end/testcases/general/implicit_constant_in_switch.dart:5:1: Context: This is the annotation that opts out this library from the 'patterns' language feature. |
| // // @dart=2.18 |
| // ^^^^^^^^^^^^^ |
| // |
| // pkg/front_end/testcases/general/implicit_constant_in_switch.dart:59:21: Error: A pattern field in an object pattern must be named. |
| // Try adding a pattern name or ':' before the pattern. |
| // case Const<num>(42): |
| // ^ |
| // |
| // pkg/front_end/testcases/general/implicit_constant_in_switch.dart:59:10: Error: The 'patterns' language feature is disabled for this library. |
| // Try removing the `@dart=` annotation or setting the language version to 3.0 or higher. |
| // case Const<num>(42): |
| // ^^^^^ |
| // pkg/front_end/testcases/general/implicit_constant_in_switch.dart:5:1: Context: This is the annotation that opts out this library from the 'patterns' language feature. |
| // // @dart=2.18 |
| // ^^^^^^^^^^^^^ |
| // |
| import self as self; |
| import "dart:core" as core; |
| |
| class Const<T extends core::Object? = dynamic> extends core::Object /*hasConstConstructor*/ { |
| final field self::Const::T% value; |
| const constructor •(self::Const::T% value) → self::Const<self::Const::T%> |
| : self::Const::value = value, super core::Object::•() |
| ; |
| } |
| static method main() → dynamic { |
| self::test(42, false); |
| self::test(<core::int>[42], false); |
| self::test(<core::num>[42], false); |
| self::test(<core::int, core::String>{42: "foo"}, false); |
| self::test(<core::num, core::Object>{42: "foo"}, false); |
| self::test(new self::Const::•<core::int>(42), false); |
| self::test(new self::Const::•<core::num>(42), false); |
| self::test(#C2, true); |
| self::test(#C3, true); |
| self::test(#C5, true); |
| self::test(#C6, true); |
| self::test(#C7, true); |
| self::test(#C8, true); |
| } |
| static method test(dynamic value, core::bool expected) → void { |
| core::bool matched; |
| #L1: |
| { |
| final dynamic #0#0 = value; |
| core::bool #0#4; |
| core::bool #0#4#isSet = false; |
| dynamic #0#6; |
| core::bool #0#6#isSet = false; |
| if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && (#0#4#isSet ?{core::bool} #0#4{core::bool} : let final dynamic #t1 = #0#4#isSet = true in #0#4 = #0#0{core::List<dynamic>}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C9) && #C1 =={core::num::==}{(core::Object) → core::bool} (#0#6#isSet ?{dynamic} #0#6{dynamic} : let final dynamic #t2 = #0#6#isSet = true in #0#6 = #0#0{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic})) { |
| { |
| matched = true; |
| break #L1; |
| } |
| } |
| else |
| if(#0#0 is{ForNonNullableByDefault} core::List<core::num> && (#0#4#isSet ?{core::bool} #0#4{core::bool} : let final dynamic #t3 = #0#4#isSet = true in #0#4 = #0#0{core::List<dynamic>}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C9) && #C1 =={core::num::==}{(core::Object) → core::bool} (#0#6#isSet ?{core::num} #0#6{core::num} : let final dynamic #t4 = #0#6#isSet = true in #0#6 = #0#0{core::List<core::num>}.{core::List::[]}(0){(core::int) → core::num})) { |
| { |
| matched = true; |
| break #L1; |
| } |
| } |
| else |
| if(#0#0 is{ForNonNullableByDefault} core::Map<dynamic, dynamic> && (#0#4#isSet ?{core::bool} #0#4{core::bool} : let final dynamic #t5 = #0#4#isSet = true in #0#4 = #0#0{core::List<dynamic>}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C9) && #0#0{core::Map<dynamic, dynamic>}.{core::Map::containsKey}(#C1){(core::Object?) → core::bool} && #C4 =={core::String::==}{(core::Object) → core::bool} #0#0{core::Map<dynamic, dynamic>}.{core::Map::[]}(#C1){(core::Object?) → dynamic}) { |
| { |
| matched = true; |
| break #L1; |
| } |
| } |
| else |
| if(#0#0 is{ForNonNullableByDefault} core::Map<core::num, core::Object> && (#0#4#isSet ?{core::bool} #0#4{core::bool} : let final dynamic #t6 = #0#4#isSet = true in #0#4 = #0#0{core::List<dynamic>}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C9) && #0#0{core::Map<core::num, core::Object>}.{core::Map::containsKey}(#C1){(core::Object?) → core::bool} && #C4 =={core::String::==}{(core::Object) → core::bool} #0#0{core::Map<core::num, core::Object>}.{core::Map::[]}(#C1){(core::Object?) → core::Object?} as{ForNonNullableByDefault} core::Object) { |
| { |
| matched = true; |
| break #L1; |
| } |
| } |
| else |
| if(#0#0 is{ForNonNullableByDefault} self::Const<dynamic>) { |
| { |
| matched = true; |
| break #L1; |
| } |
| } |
| else |
| if(#0#0 is{ForNonNullableByDefault} self::Const<core::num>) { |
| { |
| matched = true; |
| break #L1; |
| } |
| } |
| else { |
| { |
| matched = false; |
| break #L1; |
| } |
| } |
| } |
| if(!(matched =={core::Object::==}{(core::Object) → core::bool} expected)) { |
| core::print("FAIL: ${value} ${matched ?{core::String} "matched" : "didn't match"}"); |
| } |
| } |
| |
| constants { |
| #C1 = 42 |
| #C2 = <core::int>[#C1] |
| #C3 = <core::num>[#C1] |
| #C4 = "foo" |
| #C5 = <core::int, core::String>{#C1:#C4) |
| #C6 = <core::num, core::Object>{#C1:#C4) |
| #C7 = self::Const<core::int> {value:#C1} |
| #C8 = self::Const<core::num> {value:#C1} |
| #C9 = 1 |
| } |
| |
| |
| Constructor coverage from constants: |
| org-dartlang-testcase:///implicit_constant_in_switch.dart: |
| - Const. (from org-dartlang-testcase:///implicit_constant_in_switch.dart:10:9) |
| - Object. (from org-dartlang-sdk:///sdk/lib/core/object.dart) |
