| library test; |
| // |
| // Problems in library: |
| // |
| // pkg/front_end/testcases/inference/downwards_inference_on_map_literals.dart:12:79: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| // Try changing the type of the left hand side, or casting the right hand side to 'int'. |
| // /*error:MAP_KEY_TYPE_NOT_ASSIGNABLE,error:MAP_KEY_TYPE_NOT_ASSIGNABLE*/ "hello": |
| // ^ |
| // |
| // pkg/front_end/testcases/inference/downwards_inference_on_map_literals.dart:20:45: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| // Try changing the type of the left hand side, or casting the right hand side to 'int'. |
| // /*error:MAP_KEY_TYPE_NOT_ASSIGNABLE*/ "hello": "hello" |
| // ^ |
| // |
| // pkg/front_end/testcases/inference/downwards_inference_on_map_literals.dart:23:50: Error: A value of type 'int' can't be assigned to a variable of type 'String'. |
| // Try changing the type of the left hand side, or casting the right hand side to 'String'. |
| // 3: /*error:MAP_VALUE_TYPE_NOT_ASSIGNABLE*/ 3 |
| // ^ |
| // |
| // pkg/front_end/testcases/inference/downwards_inference_on_map_literals.dart:27:45: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| // Try changing the type of the left hand side, or casting the right hand side to 'int'. |
| // /*error:MAP_KEY_TYPE_NOT_ASSIGNABLE*/ "hello": |
| // ^ |
| // |
| // pkg/front_end/testcases/inference/downwards_inference_on_map_literals.dart:28:51: Error: A value of type 'int' can't be assigned to a variable of type 'String'. |
| // Try changing the type of the left hand side, or casting the right hand side to 'String'. |
| // /*error:MAP_VALUE_TYPE_NOT_ASSIGNABLE*/ 3 |
| // ^ |
| // |
| // pkg/front_end/testcases/inference/downwards_inference_on_map_literals.dart:48:50: Error: A value of type 'int' can't be assigned to a variable of type 'String'. |
| // Try changing the type of the left hand side, or casting the right hand side to 'String'. |
| // 3: /*error:MAP_VALUE_TYPE_NOT_ASSIGNABLE*/ 3 |
| // ^ |
| // |
| // pkg/front_end/testcases/inference/downwards_inference_on_map_literals.dart:52:56: Error: A value of type 'int' can't be assigned to a variable of type 'String'. |
| // Try changing the type of the left hand side, or casting the right hand side to 'String'. |
| // "hello": /*error:MAP_VALUE_TYPE_NOT_ASSIGNABLE*/ 3 |
| // ^ |
| // |
| // pkg/front_end/testcases/inference/downwards_inference_on_map_literals.dart:59:45: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| // Try changing the type of the left hand side, or casting the right hand side to 'int'. |
| // /*error:MAP_KEY_TYPE_NOT_ASSIGNABLE*/ "hello": "hello" |
| // ^ |
| // |
| // pkg/front_end/testcases/inference/downwards_inference_on_map_literals.dart:64:45: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| // Try changing the type of the left hand side, or casting the right hand side to 'int'. |
| // /*error:MAP_KEY_TYPE_NOT_ASSIGNABLE*/ "hello": 3 |
| // ^ |
| // |
| // pkg/front_end/testcases/inference/downwards_inference_on_map_literals.dart:68:76: Error: The map literal type 'Map<num, dynamic>' isn't of expected type 'Map<int, String>'. |
| // - 'Map' is from 'dart:core'. |
| // Change the type of the map literal or the context in which it is used. |
| // Map<int, String> l0 = /*error:INVALID_CAST_LITERAL_MAP*/ <num, dynamic>{}; |
| // ^ |
| // |
| // pkg/front_end/testcases/inference/downwards_inference_on_map_literals.dart:69:76: Error: The map literal type 'Map<num, dynamic>' isn't of expected type 'Map<int, String>'. |
| // - 'Map' is from 'dart:core'. |
| // Change the type of the map literal or the context in which it is used. |
| // Map<int, String> l1 = /*error:INVALID_CAST_LITERAL_MAP*/ <num, dynamic>{ |
| // ^ |
| // |
| // pkg/front_end/testcases/inference/downwards_inference_on_map_literals.dart:72:76: Error: The map literal type 'Map<num, dynamic>' isn't of expected type 'Map<int, String>'. |
| // - 'Map' is from 'dart:core'. |
| // Change the type of the map literal or the context in which it is used. |
| // Map<int, String> l3 = /*error:INVALID_CAST_LITERAL_MAP*/ <num, dynamic>{ |
| // ^ |
| // |
| // pkg/front_end/testcases/inference/downwards_inference_on_map_literals.dart:80:79: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| // Try changing the type of the left hand side, or casting the right hand side to 'int'. |
| // /*error:MAP_KEY_TYPE_NOT_ASSIGNABLE,error:MAP_KEY_TYPE_NOT_ASSIGNABLE*/ "hello": |
| // ^ |
| // |
| // pkg/front_end/testcases/inference/downwards_inference_on_map_literals.dart:84:86: Error: A value of type 'int' can't be assigned to a variable of type 'String'. |
| // Try changing the type of the left hand side, or casting the right hand side to 'String'. |
| // 3: /*error:MAP_VALUE_TYPE_NOT_ASSIGNABLE,error:MAP_VALUE_TYPE_NOT_ASSIGNABLE*/ 3 |
| // ^ |
| // |
| // pkg/front_end/testcases/inference/downwards_inference_on_map_literals.dart:88:79: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| // Try changing the type of the left hand side, or casting the right hand side to 'int'. |
| // /*error:MAP_KEY_TYPE_NOT_ASSIGNABLE,error:MAP_KEY_TYPE_NOT_ASSIGNABLE*/ "hello": |
| // ^ |
| // |
| // pkg/front_end/testcases/inference/downwards_inference_on_map_literals.dart:89:87: Error: A value of type 'int' can't be assigned to a variable of type 'String'. |
| // Try changing the type of the left hand side, or casting the right hand side to 'String'. |
| // /*error:MAP_VALUE_TYPE_NOT_ASSIGNABLE,error:MAP_VALUE_TYPE_NOT_ASSIGNABLE*/ 3 |
| // ^ |
| // |
| import self as self; |
| import "dart:core" as core; |
| |
| static method foo([core::Map<core::int, core::String> m1 = const <core::int, core::String>{1: "hello"}, core::Map<core::int, core::String> m2 = const <core::int, core::String>{let final<BottomType> #t1 = invalid-expression "pkg/front_end/testcases/inference/downwards_inference_on_map_literals.dart:12:79: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| Try changing the type of the left hand side, or casting the right hand side to 'int'. |
| /*error:MAP_KEY_TYPE_NOT_ASSIGNABLE,error:MAP_KEY_TYPE_NOT_ASSIGNABLE*/ \"hello\": |
| ^" in "hello" as{TypeError} core::int: "world"}]) → void {} |
| static method test() → void { |
| { |
| core::Map<core::int, core::String> l0 = <core::int, core::String>{}; |
| core::Map<core::int, core::String> l1 = <core::int, core::String>{3: "hello"}; |
| core::Map<core::int, core::String> l2 = <core::int, core::String>{let final<BottomType> #t2 = invalid-expression "pkg/front_end/testcases/inference/downwards_inference_on_map_literals.dart:20:45: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| Try changing the type of the left hand side, or casting the right hand side to 'int'. |
| /*error:MAP_KEY_TYPE_NOT_ASSIGNABLE*/ \"hello\": \"hello\" |
| ^" in "hello" as{TypeError} core::int: "hello"}; |
| core::Map<core::int, core::String> l3 = <core::int, core::String>{3: let final<BottomType> #t3 = invalid-expression "pkg/front_end/testcases/inference/downwards_inference_on_map_literals.dart:23:50: Error: A value of type 'int' can't be assigned to a variable of type 'String'. |
| Try changing the type of the left hand side, or casting the right hand side to 'String'. |
| 3: /*error:MAP_VALUE_TYPE_NOT_ASSIGNABLE*/ 3 |
| ^" in 3 as{TypeError} core::String}; |
| core::Map<core::int, core::String> l4 = <core::int, core::String>{3: "hello", let final<BottomType> #t4 = invalid-expression "pkg/front_end/testcases/inference/downwards_inference_on_map_literals.dart:27:45: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| Try changing the type of the left hand side, or casting the right hand side to 'int'. |
| /*error:MAP_KEY_TYPE_NOT_ASSIGNABLE*/ \"hello\": |
| ^" in "hello" as{TypeError} core::int: let final<BottomType> #t5 = invalid-expression "pkg/front_end/testcases/inference/downwards_inference_on_map_literals.dart:28:51: Error: A value of type 'int' can't be assigned to a variable of type 'String'. |
| Try changing the type of the left hand side, or casting the right hand side to 'String'. |
| /*error:MAP_VALUE_TYPE_NOT_ASSIGNABLE*/ 3 |
| ^" in 3 as{TypeError} core::String}; |
| } |
| { |
| core::Map<dynamic, dynamic> l0 = <dynamic, dynamic>{}; |
| core::Map<dynamic, dynamic> l1 = <dynamic, dynamic>{3: "hello"}; |
| core::Map<dynamic, dynamic> l2 = <dynamic, dynamic>{"hello": "hello"}; |
| core::Map<dynamic, dynamic> l3 = <dynamic, dynamic>{3: 3}; |
| core::Map<dynamic, dynamic> l4 = <dynamic, dynamic>{3: "hello", "hello": 3}; |
| } |
| { |
| core::Map<dynamic, core::String> l0 = <dynamic, core::String>{}; |
| core::Map<dynamic, core::String> l1 = <dynamic, core::String>{3: "hello"}; |
| core::Map<dynamic, core::String> l2 = <dynamic, core::String>{"hello": "hello"}; |
| core::Map<dynamic, core::String> l3 = <dynamic, core::String>{3: let final<BottomType> #t6 = invalid-expression "pkg/front_end/testcases/inference/downwards_inference_on_map_literals.dart:48:50: Error: A value of type 'int' can't be assigned to a variable of type 'String'. |
| Try changing the type of the left hand side, or casting the right hand side to 'String'. |
| 3: /*error:MAP_VALUE_TYPE_NOT_ASSIGNABLE*/ 3 |
| ^" in 3 as{TypeError} core::String}; |
| core::Map<dynamic, core::String> l4 = <dynamic, core::String>{3: "hello", "hello": let final<BottomType> #t7 = invalid-expression "pkg/front_end/testcases/inference/downwards_inference_on_map_literals.dart:52:56: Error: A value of type 'int' can't be assigned to a variable of type 'String'. |
| Try changing the type of the left hand side, or casting the right hand side to 'String'. |
| \"hello\": /*error:MAP_VALUE_TYPE_NOT_ASSIGNABLE*/ 3 |
| ^" in 3 as{TypeError} core::String}; |
| } |
| { |
| core::Map<core::int, dynamic> l0 = <core::int, dynamic>{}; |
| core::Map<core::int, dynamic> l1 = <core::int, dynamic>{3: "hello"}; |
| core::Map<core::int, dynamic> l2 = <core::int, dynamic>{let final<BottomType> #t8 = invalid-expression "pkg/front_end/testcases/inference/downwards_inference_on_map_literals.dart:59:45: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| Try changing the type of the left hand side, or casting the right hand side to 'int'. |
| /*error:MAP_KEY_TYPE_NOT_ASSIGNABLE*/ \"hello\": \"hello\" |
| ^" in "hello" as{TypeError} core::int: "hello"}; |
| core::Map<core::int, dynamic> l3 = <core::int, dynamic>{3: 3}; |
| core::Map<core::int, dynamic> l4 = <core::int, dynamic>{3: "hello", let final<BottomType> #t9 = invalid-expression "pkg/front_end/testcases/inference/downwards_inference_on_map_literals.dart:64:45: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| Try changing the type of the left hand side, or casting the right hand side to 'int'. |
| /*error:MAP_KEY_TYPE_NOT_ASSIGNABLE*/ \"hello\": 3 |
| ^" in "hello" as{TypeError} core::int: 3}; |
| } |
| { |
| core::Map<core::int, core::String> l0 = let final<BottomType> #t10 = invalid-expression "pkg/front_end/testcases/inference/downwards_inference_on_map_literals.dart:68:76: Error: The map literal type 'Map<num, dynamic>' isn't of expected type 'Map<int, String>'. |
| - 'Map' is from 'dart:core'. |
| Change the type of the map literal or the context in which it is used. |
| Map<int, String> l0 = /*error:INVALID_CAST_LITERAL_MAP*/ <num, dynamic>{}; |
| ^" in <core::num, dynamic>{}; |
| core::Map<core::int, core::String> l1 = let final<BottomType> #t11 = invalid-expression "pkg/front_end/testcases/inference/downwards_inference_on_map_literals.dart:69:76: Error: The map literal type 'Map<num, dynamic>' isn't of expected type 'Map<int, String>'. |
| - 'Map' is from 'dart:core'. |
| Change the type of the map literal or the context in which it is used. |
| Map<int, String> l1 = /*error:INVALID_CAST_LITERAL_MAP*/ <num, dynamic>{ |
| ^" in <core::num, dynamic>{3: "hello"}; |
| core::Map<core::int, core::String> l3 = let final<BottomType> #t12 = invalid-expression "pkg/front_end/testcases/inference/downwards_inference_on_map_literals.dart:72:76: Error: The map literal type 'Map<num, dynamic>' isn't of expected type 'Map<int, String>'. |
| - 'Map' is from 'dart:core'. |
| Change the type of the map literal or the context in which it is used. |
| Map<int, String> l3 = /*error:INVALID_CAST_LITERAL_MAP*/ <num, dynamic>{ |
| ^" in <core::num, dynamic>{3: 3}; |
| } |
| { |
| const core::Map<core::int, core::String> l0 = const <core::int, core::String>{}; |
| const core::Map<core::int, core::String> l1 = const <core::int, core::String>{3: "hello"}; |
| const core::Map<core::int, core::String> l2 = const <core::int, core::String>{let final<BottomType> #t13 = invalid-expression "pkg/front_end/testcases/inference/downwards_inference_on_map_literals.dart:80:79: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| Try changing the type of the left hand side, or casting the right hand side to 'int'. |
| /*error:MAP_KEY_TYPE_NOT_ASSIGNABLE,error:MAP_KEY_TYPE_NOT_ASSIGNABLE*/ \"hello\": |
| ^" in "hello" as{TypeError} core::int: "hello"}; |
| const core::Map<core::int, core::String> l3 = const <core::int, core::String>{3: let final<BottomType> #t14 = invalid-expression "pkg/front_end/testcases/inference/downwards_inference_on_map_literals.dart:84:86: Error: A value of type 'int' can't be assigned to a variable of type 'String'. |
| Try changing the type of the left hand side, or casting the right hand side to 'String'. |
| 3: /*error:MAP_VALUE_TYPE_NOT_ASSIGNABLE,error:MAP_VALUE_TYPE_NOT_ASSIGNABLE*/ 3 |
| ^" in 3 as{TypeError} core::String}; |
| const core::Map<core::int, core::String> l4 = const <core::int, core::String>{3: "hello", let final<BottomType> #t15 = invalid-expression "pkg/front_end/testcases/inference/downwards_inference_on_map_literals.dart:88:79: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| Try changing the type of the left hand side, or casting the right hand side to 'int'. |
| /*error:MAP_KEY_TYPE_NOT_ASSIGNABLE,error:MAP_KEY_TYPE_NOT_ASSIGNABLE*/ \"hello\": |
| ^" in "hello" as{TypeError} core::int: let final<BottomType> #t16 = invalid-expression "pkg/front_end/testcases/inference/downwards_inference_on_map_literals.dart:89:87: Error: A value of type 'int' can't be assigned to a variable of type 'String'. |
| Try changing the type of the left hand side, or casting the right hand side to 'String'. |
| /*error:MAP_VALUE_TYPE_NOT_ASSIGNABLE,error:MAP_VALUE_TYPE_NOT_ASSIGNABLE*/ 3 |
| ^" in 3 as{TypeError} core::String}; |
| } |
| } |
| static method main() → dynamic {} |