| library; |
| // |
| // Problems in library: |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:39:34: Error: Both Iterable and Map spread elements encountered in ambiguous literal. |
| // Map<String, List<int>> map40 = {if (oracle("foo")) ...{"bar", []}, "baz": null}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:71:38: Error: Unexpected type 'Map<String, int>' of a spread. Expected 'dynamic' or an Iterable. |
| // - 'Map' is from 'dart:core'. |
| // var map82 = {if (oracle("foo")) ...mapToInt else ...dynVar, null}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:106:44: Error: Expected ':' after this. |
| // Set<dynamic> set10 = {if (oracle("foo")) 42 else "bar": 3.14}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:107:53: Error: Expected ':' after this. |
| // Map<dynamic, dynamic> map10 = {if (oracle("foo")) 42 else "bar": 3.14}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:108:61: Error: Expected ':' after this. |
| // Set<dynamic> set11 = {if (oracle("foo")) "bar": 3.14 else 42}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:109:70: Error: Expected ':' after this. |
| // Map<dynamic, dynamic> map11 = {if (oracle("foo")) "bar": 3.14 else 42}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:110:35: Error: Expected ':' after this. |
| // var map12 = {if (oracle("foo")) 42 else "bar": 3.14}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:111:52: Error: Expected ':' after this. |
| // var map13 = {if (oracle("foo")) "bar": 3.14 else 42}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:87:28: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| // <int>[if (oracle("foo")) "bar"]; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:88:28: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| // <int>{if (oracle("foo")) "bar", null}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:89:43: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| // <String, int>{if (oracle("foo")) "bar": "bar", "baz": null}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:90:32: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| // <int>[if (oracle("foo")) ...["bar"]]; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:91:32: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| // <int>{if (oracle("foo")) ...["bar"], null}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:92:47: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| // <String, int>{if (oracle("foo")) ...{"bar": "bar"}, "baz": null}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:93:31: Error: Unexpected type 'Map<int, int>' of a spread. Expected 'dynamic' or an Iterable. |
| // - 'Map' is from 'dart:core'. |
| // <int>[if (oracle("foo")) ...map]; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:94:31: Error: Unexpected type 'Map<int, int>' of a spread. Expected 'dynamic' or an Iterable. |
| // - 'Map' is from 'dart:core'. |
| // <int>{if (oracle("foo")) ...map, null}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:95:39: Error: Unexpected type 'List<String>' of a map spread entry. Expected 'dynamic' or a Map. |
| // - 'List' is from 'dart:core'. |
| // <String, int>{if (oracle("foo")) ...["bar"], "baz": null}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:96:31: Error: A value of type 'int' can't be assigned to a variable of type 'String'. |
| // <String>[if (oracle("foo")) 42 else 3.14]; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:96:39: Error: A value of type 'double' can't be assigned to a variable of type 'String'. |
| // <String>[if (oracle("foo")) 42 else 3.14]; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:97:31: Error: A value of type 'int' can't be assigned to a variable of type 'String'. |
| // <String>{if (oracle("foo")) 42 else 3.14, null}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:97:39: Error: A value of type 'double' can't be assigned to a variable of type 'String'. |
| // <String>{if (oracle("foo")) 42 else 3.14, null}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:98:46: Error: A value of type 'int' can't be assigned to a variable of type 'String'. |
| // <String, String>{if (oracle("foo")) "bar": 42 else "baz": 3.14, "baz": null}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:98:61: Error: A value of type 'double' can't be assigned to a variable of type 'String'. |
| // <String, String>{if (oracle("foo")) "bar": 42 else "baz": 3.14, "baz": null}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:99:31: Error: Unexpected type 'Map<int, int>' of a spread. Expected 'dynamic' or an Iterable. |
| // - 'Map' is from 'dart:core'. |
| // <int>[if (oracle("foo")) ...map else 42]; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:100:31: Error: Unexpected type 'Map<int, int>' of a spread. Expected 'dynamic' or an Iterable. |
| // - 'Map' is from 'dart:core'. |
| // <int>{if (oracle("foo")) ...map else 42, null}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:101:39: Error: Unexpected type 'List<int>' of a map spread entry. Expected 'dynamic' or a Map. |
| // - 'List' is from 'dart:core'. |
| // <String, int>{if (oracle("foo")) ...[42] else "bar": 42, "baz": null}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:102:39: Error: Unexpected type 'Map<int, int>' of a spread. Expected 'dynamic' or an Iterable. |
| // - 'Map' is from 'dart:core'. |
| // <int>[if (oracle("foo")) 42 else ...map]; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:103:31: Error: Unexpected type 'Map<int, int>' of a spread. Expected 'dynamic' or an Iterable. |
| // - 'Map' is from 'dart:core'. |
| // <int>{if (oracle("foo")) ...map else 42, null}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:104:54: Error: Unexpected type 'List<int>' of a map spread entry. Expected 'dynamic' or a Map. |
| // - 'List' is from 'dart:core'. |
| // <String, int>{if (oracle("foo")) "bar": 42 else ...[42], "baz": null}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:106:24: Error: Both Iterable and Map spread elements encountered in ambiguous literal. |
| // Set<dynamic> set10 = {if (oracle("foo")) 42 else "bar": 3.14}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:108:24: Error: Both Iterable and Map spread elements encountered in ambiguous literal. |
| // Set<dynamic> set11 = {if (oracle("foo")) "bar": 3.14 else 42}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:112:27: Error: A value of type 'int' can't be assigned to a variable of type 'bool'. |
| // List<int> list20 = [if (42) 42]; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:113:25: Error: A value of type 'int' can't be assigned to a variable of type 'bool'. |
| // Set<int> set20 = {if (42) 42}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:114:30: Error: A value of type 'int' can't be assigned to a variable of type 'bool'. |
| // Map<int, int> map30 = {if (42) 42: 42}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:115:53: Error: A value of type 'bool' can't be assigned to a variable of type 'String'. |
| // List<String> list40 = <String>[if (oracle("foo")) true else 42]; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:115:63: Error: A value of type 'int' can't be assigned to a variable of type 'String'. |
| // List<String> list40 = <String>[if (oracle("foo")) true else 42]; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:116:51: Error: A value of type 'bool' can't be assigned to a variable of type 'String'. |
| // Set<String> set40 = <String>{if (oracle("foo")) true else 42}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:116:61: Error: A value of type 'int' can't be assigned to a variable of type 'String'. |
| // Set<String> set40 = <String>{if (oracle("foo")) true else 42}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:117:61: Error: A value of type 'bool' can't be assigned to a variable of type 'String'. |
| // Map<String, int> map40 = <String, int>{if (oracle("foo")) true: 42 else 42: 42}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:117:75: Error: A value of type 'int' can't be assigned to a variable of type 'String'. |
| // Map<String, int> map40 = <String, int>{if (oracle("foo")) true: 42 else 42: 42}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:118:65: Error: A value of type 'bool' can't be assigned to a variable of type 'String'. |
| // Map<int, String> map41 = <int, String>{if (oracle("foo")) 42: true else 42: 42}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:118:79: Error: A value of type 'int' can't be assigned to a variable of type 'String'. |
| // Map<int, String> map41 = <int, String>{if (oracle("foo")) 42: true else 42: 42}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:230:14: Error: Can't assign to the final variable 'i'. |
| // <int>[for (i in <int>[1]) i]; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:231:14: Error: Can't assign to the final variable 'i'. |
| // <int>{for (i in <int>[1]) i, null}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:232:21: Error: Can't assign to the final variable 'i'. |
| // <String, int>{for (i in <int>[1]) "bar": i, "baz": null}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:246:17: Error: The keyword 'await' isn't allowed for a normal 'for' statement. |
| // Try removing the keyword, or use a for-each statement. |
| // var list50 = [await for (;;) 42]; |
| // ^^^^^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:247:16: Error: The keyword 'await' isn't allowed for a normal 'for' statement. |
| // Try removing the keyword, or use a for-each statement. |
| // var set50 = {await for (;;) 42, null}; |
| // ^^^^^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:248:16: Error: The keyword 'await' isn't allowed for a normal 'for' statement. |
| // Try removing the keyword, or use a for-each statement. |
| // var map50 = {await for (;;) "bar": 42, "baz": null}; |
| // ^^^^^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:210:45: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| // <int>[for (int i = 0; oracle("foo"); i++) "bar"]; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:211:45: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| // <int>{for (int i = 0; oracle("foo"); i++) "bar", null}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:212:50: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| // <int, int>{for (int i = 0; oracle("foo"); i++) "bar": "bar", "baz": null}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:212:57: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| // <int, int>{for (int i = 0; oracle("foo"); i++) "bar": "bar", "baz": null}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:212:64: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| // <int, int>{for (int i = 0; oracle("foo"); i++) "bar": "bar", "baz": null}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:213:49: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| // <int>[for (int i = 0; oracle("foo"); i++) ...["bar"]]; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:214:49: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| // <int>{for (int i = 0; oracle("foo"); i++) ...["bar"], null}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:215:54: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| // <int, int>{for (int i = 0; oracle("foo"); i++) ...{"bar": "bar"}, "baz": null}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:215:61: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| // <int, int>{for (int i = 0; oracle("foo"); i++) ...{"bar": "bar"}, "baz": null}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:215:69: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| // <int, int>{for (int i = 0; oracle("foo"); i++) ...{"bar": "bar"}, "baz": null}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:216:48: Error: Unexpected type 'Map<int, int>' of a spread. Expected 'dynamic' or an Iterable. |
| // - 'Map' is from 'dart:core'. |
| // <int>[for (int i = 0; oracle("foo"); i++) ...map]; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:217:48: Error: Unexpected type 'Map<int, int>' of a spread. Expected 'dynamic' or an Iterable. |
| // - 'Map' is from 'dart:core'. |
| // <int>{for (int i = 0; oracle("foo"); i++) ...map, null}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:218:53: Error: Unexpected type 'List<int>' of a map spread entry. Expected 'dynamic' or a Map. |
| // - 'List' is from 'dart:core'. |
| // <int, int>{for (int i = 0; oracle("foo"); i++) ...list, 42: null}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:219:62: Error: A value of type 'int' can't be assigned to a variable of type 'String'. |
| // <String>[for (int i = 0; oracle("foo"); i++) if (oracle()) 42 else 3.14]; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:219:70: Error: A value of type 'double' can't be assigned to a variable of type 'String'. |
| // <String>[for (int i = 0; oracle("foo"); i++) if (oracle()) 42 else 3.14]; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:220:62: Error: A value of type 'int' can't be assigned to a variable of type 'String'. |
| // <String>{for (int i = 0; oracle("foo"); i++) if (oracle()) 42 else 3.14, null}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:220:70: Error: A value of type 'double' can't be assigned to a variable of type 'String'. |
| // <String>{for (int i = 0; oracle("foo"); i++) if (oracle()) 42 else 3.14, null}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:221:77: Error: A value of type 'int' can't be assigned to a variable of type 'String'. |
| // <String, String>{for (int i = 0; oracle("foo"); i++) if (oracle()) "bar": 42 else "bar": 3.14, "baz": null}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:221:92: Error: A value of type 'double' can't be assigned to a variable of type 'String'. |
| // <String, String>{for (int i = 0; oracle("foo"); i++) if (oracle()) "bar": 42 else "bar": 3.14, "baz": null}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:222:62: Error: Unexpected type 'Map<int, int>' of a spread. Expected 'dynamic' or an Iterable. |
| // - 'Map' is from 'dart:core'. |
| // <int>[for (int i = 0; oracle("foo"); i++) if (oracle()) ...map else 42]; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:223:62: Error: Unexpected type 'Map<int, int>' of a spread. Expected 'dynamic' or an Iterable. |
| // - 'Map' is from 'dart:core'. |
| // <int>{for (int i = 0; oracle("foo"); i++) if (oracle()) ...map else 42, null}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:224:70: Error: Unexpected type 'List<int>' of a map spread entry. Expected 'dynamic' or a Map. |
| // - 'List' is from 'dart:core'. |
| // <String, int>{for (int i = 0; oracle("foo"); i++) if (oracle()) ...list else "bar": 42, "baz": null}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:225:70: Error: Unexpected type 'Map<int, int>' of a spread. Expected 'dynamic' or an Iterable. |
| // - 'Map' is from 'dart:core'. |
| // <int>[for (int i = 0; oracle("foo"); i++) if (oracle()) 42 else ...map]; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:226:70: Error: Unexpected type 'Map<int, int>' of a spread. Expected 'dynamic' or an Iterable. |
| // - 'Map' is from 'dart:core'. |
| // <int>{for (int i = 0; oracle("foo"); i++) if (oracle()) 42 else ...map, null}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:227:85: Error: Unexpected type 'List<int>' of a map spread entry. Expected 'dynamic' or a Map. |
| // - 'List' is from 'dart:core'. |
| // <String, int>{for (int i = 0; oracle("foo"); i++) if (oracle()) "bar": 42 else ...list, "baz": null}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:234:31: Error: The type 'String' used in the 'for' loop must implement 'Iterable<dynamic>'. |
| // - 'Iterable' is from 'dart:core'. |
| // var list10 = [for (var i in "not iterable") i]; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:235:30: Error: The type 'String' used in the 'for' loop must implement 'Iterable<dynamic>'. |
| // - 'Iterable' is from 'dart:core'. |
| // var set10 = {for (var i in "not iterable") i, null}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:236:30: Error: The type 'String' used in the 'for' loop must implement 'Iterable<dynamic>'. |
| // - 'Iterable' is from 'dart:core'. |
| // var map10 = {for (var i in "not iterable") "bar": i, "baz": null}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:237:32: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| // var list20 = [for (int i in ["not", "int"]) i]; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:237:39: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| // var list20 = [for (int i in ["not", "int"]) i]; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:238:31: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| // var set20 = {for (int i in ["not", "int"]) i, null}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:238:38: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| // var set20 = {for (int i in ["not", "int"]) i, null}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:239:31: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| // var map20 = {for (int i in ["not", "int"]) "bar": i, "baz": null}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:239:38: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| // var map20 = {for (int i in ["not", "int"]) "bar": i, "baz": null}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:240:37: Error: The type 'String' used in the 'for' loop must implement 'Stream<dynamic>'. |
| // - 'Stream' is from 'dart:async'. |
| // var list30 = [await for (var i in "not stream") i]; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:241:36: Error: The type 'String' used in the 'for' loop must implement 'Stream<dynamic>'. |
| // - 'Stream' is from 'dart:async'. |
| // var set30 = {await for (var i in "not stream") i, null}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:242:36: Error: The type 'String' used in the 'for' loop must implement 'Stream<dynamic>'. |
| // - 'Stream' is from 'dart:async'. |
| // var map30 = {await for (var i in "not stream") "bar": i, "baz": null}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:243:58: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| // var list40 = [await for (int i in Stream.fromIterable(["not", "int"])) i]; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:243:65: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| // var list40 = [await for (int i in Stream.fromIterable(["not", "int"])) i]; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:244:57: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| // var set40 = {await for (int i in Stream.fromIterable(["not", "int"])) i, null}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:244:64: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| // var set40 = {await for (int i in Stream.fromIterable(["not", "int"])) i, null}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:245:57: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| // var map40 = {await for (int i in Stream.fromIterable(["not", "int"])) "bar": i, "baz": null}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:245:64: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| // var map40 = {await for (int i in Stream.fromIterable(["not", "int"])) "bar": i, "baz": null}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:249:24: Error: A value of type 'String' can't be assigned to a variable of type 'bool'. |
| // var list60 = [for (; "not bool";) 42]; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:250:23: Error: A value of type 'String' can't be assigned to a variable of type 'bool'. |
| // var set60 = {for (; "not bool";) 42, null}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:251:23: Error: A value of type 'String' can't be assigned to a variable of type 'bool'. |
| // var map60 = {for (; "not bool";) "bar": 42, "baz": null}; |
| // ^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:255:26: Error: The asynchronous for-in can only be used in functions marked with 'async' or 'async*'. |
| // Try marking the function body with either 'async' or 'async*', or removing the 'await' before the for loop. |
| // <int>[await for (int i in stream) i]; |
| // ^^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:256:26: Error: The asynchronous for-in can only be used in functions marked with 'async' or 'async*'. |
| // Try marking the function body with either 'async' or 'async*', or removing the 'await' before the for loop. |
| // <int>{await for (int i in stream) i}; |
| // ^^ |
| // |
| // pkg/front_end/testcases/general/control_flow_collection_inference.dart:257:34: Error: The asynchronous for-in can only be used in functions marked with 'async' or 'async*'. |
| // Try marking the function body with either 'async' or 'async*', or removing the 'await' before the for loop. |
| // <String, int>{await for (int i in stream) "bar": i}; |
| // ^^ |
| // |
| import self as self; |
| import "dart:core" as core; |
| import "dart:collection" as col; |
| import "dart:async" as asy; |
| import "dart:_internal" as _in; |
| |
| class A extends core::Object { |
| synthetic constructor •() → self::A* |
| : super core::Object::•() |
| ; |
| abstract member-signature get _identityHashCode() → core::int*; -> core::Object::_identityHashCode |
| abstract member-signature method _instanceOf(dynamic instantiatorTypeArguments, dynamic functionTypeArguments, dynamic type) → core::bool*; -> core::Object::_instanceOf |
| abstract member-signature method _simpleInstanceOf(dynamic type) → core::bool*; -> core::Object::_simpleInstanceOf |
| abstract member-signature method _simpleInstanceOfTrue(dynamic type) → core::bool*; -> core::Object::_simpleInstanceOfTrue |
| abstract member-signature method _simpleInstanceOfFalse(dynamic type) → core::bool*; -> core::Object::_simpleInstanceOfFalse |
| abstract member-signature operator ==(dynamic other) → core::bool*; -> core::Object::== |
| abstract member-signature get hashCode() → core::int*; -> core::Object::hashCode |
| abstract member-signature method toString() → core::String*; -> core::Object::toString |
| abstract member-signature method noSuchMethod(core::Invocation* invocation) → dynamic; -> core::Object::noSuchMethod |
| abstract member-signature get runtimeType() → core::Type*; -> core::Object::runtimeType |
| } |
| class B extends self::A { |
| synthetic constructor •() → self::B* |
| : super self::A::•() |
| ; |
| get foo() → core::int* |
| return 42; |
| } |
| static method oracle<T extends core::Object* = dynamic>([self::oracle::T* t = #C1]) → dynamic |
| return true; |
| static method testIfElement(dynamic dynVar, core::List<core::int*>* listInt, core::List<core::double*>* listDouble, core::Map<core::String*, core::int*>* mapToInt, core::Map<core::String*, core::double*>* mapToDouble) → dynamic { |
| core::List<core::int*>* list10 = block { |
| final core::List<core::int*>* #t1 = core::_GrowableList::•<core::int*>(0); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| #t1.{core::List::add}{Invariant}(42){(core::int*) →* void}; |
| } =>#t1; |
| core::Set<core::int*>* set10 = block { |
| final core::Set<core::int*>* #t2 = new col::_CompactLinkedHashSet::•<core::int*>(); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| #t2.{core::Set::add}{Invariant}(42){(core::int*) →* core::bool*}; |
| #t2.{core::Set::add}{Invariant}(null){(core::int*) →* core::bool*}; |
| } =>#t2; |
| core::Map<core::String*, core::int*>* map10 = block { |
| final core::Map<core::String*, core::int*>* #t3 = <core::String*, core::int*>{}; |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| #t3.{core::Map::[]=}{Invariant}("bar", 42){(core::String*, core::int*) →* void}; |
| #t3.{core::Map::[]=}{Invariant}("baz", null){(core::String*, core::int*) →* void}; |
| } =>#t3; |
| core::List<dynamic>* list11 = block { |
| final core::List<dynamic>* #t4 = core::_GrowableList::•<dynamic>(0); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| #t4.{core::List::add}{Invariant}(dynVar){(dynamic) →* void}; |
| } =>#t4; |
| core::Set<dynamic>* set11 = block { |
| final core::Set<dynamic>* #t5 = new col::_CompactLinkedHashSet::•<dynamic>(); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| #t5.{core::Set::add}{Invariant}(dynVar){(dynamic) →* core::bool*}; |
| #t5.{core::Set::add}{Invariant}(null){(dynamic) →* core::bool*}; |
| } =>#t5; |
| core::Map<core::String*, dynamic>* map11 = block { |
| final core::Map<core::String*, dynamic>* #t6 = <core::String*, dynamic>{}; |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| #t6.{core::Map::[]=}{Invariant}("bar", dynVar){(core::String*, dynamic) →* void}; |
| #t6.{core::Map::[]=}{Invariant}("baz", null){(core::String*, dynamic) →* void}; |
| } =>#t6; |
| core::List<core::List<core::int*>*>* list12 = block { |
| final core::List<core::List<core::int*>*>* #t7 = core::_GrowableList::•<core::List<core::int*>*>(0); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| #t7.{core::List::add}{Invariant}(core::_GrowableList::_literal1<core::int*>(42)){(core::List<core::int*>*) →* void}; |
| } =>#t7; |
| core::Set<core::List<core::int*>*>* set12 = block { |
| final core::Set<core::List<core::int*>*>* #t8 = new col::_CompactLinkedHashSet::•<core::List<core::int*>*>(); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| #t8.{core::Set::add}{Invariant}(core::_GrowableList::_literal1<core::int*>(42)){(core::List<core::int*>*) →* core::bool*}; |
| #t8.{core::Set::add}{Invariant}(null){(core::List<core::int*>*) →* core::bool*}; |
| } =>#t8; |
| core::Map<core::String*, core::List<core::int*>*>* map12 = block { |
| final core::Map<core::String*, core::List<core::int*>*>* #t9 = <core::String*, core::List<core::int*>*>{}; |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| #t9.{core::Map::[]=}{Invariant}("bar", core::_GrowableList::_literal1<core::int*>(42)){(core::String*, core::List<core::int*>*) →* void}; |
| #t9.{core::Map::[]=}{Invariant}("baz", null){(core::String*, core::List<core::int*>*) →* void}; |
| } =>#t9; |
| core::List<core::int*>* list20 = block { |
| final core::List<core::int*>* #t10 = core::_GrowableList::•<core::int*>(0); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| #t10.{core::List::addAll}{Invariant}(core::_GrowableList::_literal1<core::int*>(42)){(core::Iterable<core::int*>*) →* void}; |
| } =>#t10; |
| core::Set<core::int*>* set20 = block { |
| final core::Set<core::int*>* #t11 = new col::_CompactLinkedHashSet::•<core::int*>(); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| #t11.{core::Set::addAll}{Invariant}(core::_GrowableList::_literal1<core::int*>(42)){(core::Iterable<core::int*>*) →* void}; |
| #t11.{core::Set::add}{Invariant}(null){(core::int*) →* core::bool*}; |
| } =>#t11; |
| core::Map<core::String*, core::int*>* map20 = block { |
| final core::Map<core::String*, core::int*>* #t12 = <core::String*, core::int*>{}; |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) { |
| core::Iterator<core::MapEntry<core::String*, core::int*>>* :sync-for-iterator = <core::String*, core::int*>{"bar": 42}.{core::Map::entries}{core::Iterable<core::MapEntry<core::String*, core::int*>>}.{core::Iterable::iterator}{core::Iterator<core::MapEntry<core::String*, core::int*>>*}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final core::MapEntry<core::String*, core::int*>* #t13 = :sync-for-iterator.{core::Iterator::current}{core::MapEntry<core::String*, core::int*>}; |
| #t12.{core::Map::[]=}{Invariant}(#t13.{core::MapEntry::key}{core::String*}, #t13.{core::MapEntry::value}{core::int*}){(core::String*, core::int*) →* void}; |
| } |
| } |
| #t12.{core::Map::[]=}{Invariant}("baz", null){(core::String*, core::int*) →* void}; |
| } =>#t12; |
| core::List<dynamic>* list21 = block { |
| final core::List<dynamic>* #t14 = core::_GrowableList::•<dynamic>(0); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| #t14.{core::List::addAll}{Invariant}(core::_GrowableList::_literal1<dynamic>(dynVar)){(core::Iterable<dynamic>*) →* void}; |
| } =>#t14; |
| core::Set<dynamic>* set21 = block { |
| final core::Set<dynamic>* #t15 = new col::_CompactLinkedHashSet::•<dynamic>(); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| #t15.{core::Set::addAll}{Invariant}(core::_GrowableList::_literal1<dynamic>(dynVar)){(core::Iterable<dynamic>*) →* void}; |
| #t15.{core::Set::add}{Invariant}(null){(dynamic) →* core::bool*}; |
| } =>#t15; |
| core::Map<core::String*, dynamic>* map21 = block { |
| final core::Map<core::String*, dynamic>* #t16 = <core::String*, dynamic>{}; |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) { |
| core::Iterator<core::MapEntry<core::String*, dynamic>>* :sync-for-iterator = <core::String*, dynamic>{"bar": dynVar}.{core::Map::entries}{core::Iterable<core::MapEntry<core::String*, dynamic>>}.{core::Iterable::iterator}{core::Iterator<core::MapEntry<core::String*, dynamic>>*}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final core::MapEntry<core::String*, dynamic>* #t17 = :sync-for-iterator.{core::Iterator::current}{core::MapEntry<core::String*, dynamic>}; |
| #t16.{core::Map::[]=}{Invariant}(#t17.{core::MapEntry::key}{core::String*}, #t17.{core::MapEntry::value}{dynamic}){(core::String*, dynamic) →* void}; |
| } |
| } |
| #t16.{core::Map::[]=}{Invariant}("baz", null){(core::String*, dynamic) →* void}; |
| } =>#t16; |
| core::List<core::List<core::int*>*>* list22 = block { |
| final core::List<core::List<core::int*>*>* #t18 = core::_GrowableList::•<core::List<core::int*>*>(0); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| #t18.{core::List::addAll}{Invariant}(core::_GrowableList::_literal1<core::List<core::int*>*>(core::_GrowableList::_literal1<core::int*>(42))){(core::Iterable<core::List<core::int*>*>*) →* void}; |
| } =>#t18; |
| core::Set<core::List<core::int*>*>* set22 = block { |
| final core::Set<core::List<core::int*>*>* #t19 = new col::_CompactLinkedHashSet::•<core::List<core::int*>*>(); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| #t19.{core::Set::addAll}{Invariant}(core::_GrowableList::_literal1<core::List<core::int*>*>(core::_GrowableList::_literal1<core::int*>(42))){(core::Iterable<core::List<core::int*>*>*) →* void}; |
| #t19.{core::Set::add}{Invariant}(null){(core::List<core::int*>*) →* core::bool*}; |
| } =>#t19; |
| core::Map<core::String*, core::List<core::int*>*>* map22 = block { |
| final core::Map<core::String*, core::List<core::int*>*>* #t20 = <core::String*, core::List<core::int*>*>{}; |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) { |
| core::Iterator<core::MapEntry<core::String*, core::List<core::int*>*>>* :sync-for-iterator = <core::String*, core::List<core::int*>*>{"bar": core::_GrowableList::_literal1<core::int*>(42)}.{core::Map::entries}{core::Iterable<core::MapEntry<core::String*, core::List<core::int*>*>>}.{core::Iterable::iterator}{core::Iterator<core::MapEntry<core::String*, core::List<core::int*>*>>*}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final core::MapEntry<core::String*, core::List<core::int*>*>* #t21 = :sync-for-iterator.{core::Iterator::current}{core::MapEntry<core::String*, core::List<core::int*>*>}; |
| #t20.{core::Map::[]=}{Invariant}(#t21.{core::MapEntry::key}{core::String*}, #t21.{core::MapEntry::value}{core::List<core::int*>*}){(core::String*, core::List<core::int*>*) →* void}; |
| } |
| } |
| #t20.{core::Map::[]=}{Invariant}("baz", null){(core::String*, core::List<core::int*>*) →* void}; |
| } =>#t20; |
| core::List<core::int*>* list30 = block { |
| final core::List<core::int*>* #t22 = core::_GrowableList::•<core::int*>(0); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| if(self::oracle<dynamic>() as{TypeError,ForDynamic} core::bool*) |
| #t22.{core::List::addAll}{Invariant}(core::_GrowableList::_literal1<core::int*>(42)){(core::Iterable<core::int*>*) →* void}; |
| } =>#t22; |
| core::Set<core::int*>* set30 = block { |
| final core::Set<core::int*>* #t23 = new col::_CompactLinkedHashSet::•<core::int*>(); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| if(self::oracle<dynamic>() as{TypeError,ForDynamic} core::bool*) |
| #t23.{core::Set::addAll}{Invariant}(core::_GrowableList::_literal1<core::int*>(42)){(core::Iterable<core::int*>*) →* void}; |
| #t23.{core::Set::add}{Invariant}(null){(core::int*) →* core::bool*}; |
| } =>#t23; |
| core::Map<core::String*, core::int*>* map30 = block { |
| final core::Map<core::String*, core::int*>* #t24 = <core::String*, core::int*>{}; |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| if(self::oracle<dynamic>() as{TypeError,ForDynamic} core::bool*) { |
| core::Iterator<core::MapEntry<core::String*, core::int*>>* :sync-for-iterator = <core::String*, core::int*>{"bar": 42}.{core::Map::entries}{core::Iterable<core::MapEntry<core::String*, core::int*>>}.{core::Iterable::iterator}{core::Iterator<core::MapEntry<core::String*, core::int*>>*}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final core::MapEntry<core::String*, core::int*>* #t25 = :sync-for-iterator.{core::Iterator::current}{core::MapEntry<core::String*, core::int*>}; |
| #t24.{core::Map::[]=}{Invariant}(#t25.{core::MapEntry::key}{core::String*}, #t25.{core::MapEntry::value}{core::int*}){(core::String*, core::int*) →* void}; |
| } |
| } |
| #t24.{core::Map::[]=}{Invariant}("baz", null){(core::String*, core::int*) →* void}; |
| } =>#t24; |
| core::List<dynamic>* list31 = block { |
| final core::List<dynamic>* #t26 = core::_GrowableList::•<dynamic>(0); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| if(self::oracle<dynamic>() as{TypeError,ForDynamic} core::bool*) |
| #t26.{core::List::addAll}{Invariant}(core::_GrowableList::_literal1<dynamic>(dynVar)){(core::Iterable<dynamic>*) →* void}; |
| } =>#t26; |
| core::Set<dynamic>* set31 = block { |
| final core::Set<dynamic>* #t27 = new col::_CompactLinkedHashSet::•<dynamic>(); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| if(self::oracle<dynamic>() as{TypeError,ForDynamic} core::bool*) |
| #t27.{core::Set::addAll}{Invariant}(core::_GrowableList::_literal1<dynamic>(dynVar)){(core::Iterable<dynamic>*) →* void}; |
| #t27.{core::Set::add}{Invariant}(null){(dynamic) →* core::bool*}; |
| } =>#t27; |
| core::Map<core::String*, dynamic>* map31 = block { |
| final core::Map<core::String*, dynamic>* #t28 = <core::String*, dynamic>{}; |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| if(self::oracle<dynamic>() as{TypeError,ForDynamic} core::bool*) { |
| core::Iterator<core::MapEntry<core::String*, dynamic>>* :sync-for-iterator = <core::String*, dynamic>{"bar": dynVar}.{core::Map::entries}{core::Iterable<core::MapEntry<core::String*, dynamic>>}.{core::Iterable::iterator}{core::Iterator<core::MapEntry<core::String*, dynamic>>*}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final core::MapEntry<core::String*, dynamic>* #t29 = :sync-for-iterator.{core::Iterator::current}{core::MapEntry<core::String*, dynamic>}; |
| #t28.{core::Map::[]=}{Invariant}(#t29.{core::MapEntry::key}{core::String*}, #t29.{core::MapEntry::value}{dynamic}){(core::String*, dynamic) →* void}; |
| } |
| } |
| #t28.{core::Map::[]=}{Invariant}("baz", null){(core::String*, dynamic) →* void}; |
| } =>#t28; |
| core::List<core::List<core::int*>*>* list33 = block { |
| final core::List<core::List<core::int*>*>* #t30 = core::_GrowableList::•<core::List<core::int*>*>(0); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| if(self::oracle<dynamic>() as{TypeError,ForDynamic} core::bool*) |
| #t30.{core::List::addAll}{Invariant}(core::_GrowableList::_literal1<core::List<core::int*>*>(core::_GrowableList::_literal1<core::int*>(42))){(core::Iterable<core::List<core::int*>*>*) →* void}; |
| } =>#t30; |
| core::Set<core::List<core::int*>*>* set33 = block { |
| final core::Set<core::List<core::int*>*>* #t31 = new col::_CompactLinkedHashSet::•<core::List<core::int*>*>(); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| if(self::oracle<dynamic>() as{TypeError,ForDynamic} core::bool*) |
| #t31.{core::Set::addAll}{Invariant}(core::_GrowableList::_literal1<core::List<core::int*>*>(core::_GrowableList::_literal1<core::int*>(42))){(core::Iterable<core::List<core::int*>*>*) →* void}; |
| #t31.{core::Set::add}{Invariant}(null){(core::List<core::int*>*) →* core::bool*}; |
| } =>#t31; |
| core::Map<core::String*, core::List<core::int*>*>* map33 = block { |
| final core::Map<core::String*, core::List<core::int*>*>* #t32 = <core::String*, core::List<core::int*>*>{}; |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| if(self::oracle<dynamic>() as{TypeError,ForDynamic} core::bool*) { |
| core::Iterator<core::MapEntry<core::String*, core::List<core::int*>*>>* :sync-for-iterator = <core::String*, core::List<core::int*>*>{"bar": core::_GrowableList::_literal1<core::int*>(42)}.{core::Map::entries}{core::Iterable<core::MapEntry<core::String*, core::List<core::int*>*>>}.{core::Iterable::iterator}{core::Iterator<core::MapEntry<core::String*, core::List<core::int*>*>>*}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final core::MapEntry<core::String*, core::List<core::int*>*>* #t33 = :sync-for-iterator.{core::Iterator::current}{core::MapEntry<core::String*, core::List<core::int*>*>}; |
| #t32.{core::Map::[]=}{Invariant}(#t33.{core::MapEntry::key}{core::String*}, #t33.{core::MapEntry::value}{core::List<core::int*>*}){(core::String*, core::List<core::int*>*) →* void}; |
| } |
| } |
| #t32.{core::Map::[]=}{Invariant}("baz", null){(core::String*, core::List<core::int*>*) →* void}; |
| } =>#t32; |
| core::List<core::List<core::int*>*>* list40 = block { |
| final core::List<core::List<core::int*>*>* #t34 = core::_GrowableList::•<core::List<core::int*>*>(0); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| #t34.{core::List::addAll}{Invariant}(core::_GrowableList::_literal1<core::List<core::int*>*>(core::_GrowableList::•<core::int*>(0))){(core::Iterable<core::List<core::int*>*>*) →* void}; |
| } =>#t34; |
| core::Set<core::List<core::int*>*>* set40 = block { |
| final core::Set<core::List<core::int*>*>* #t35 = new col::_CompactLinkedHashSet::•<core::List<core::int*>*>(); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| #t35.{core::Set::addAll}{Invariant}(core::_GrowableList::_literal1<core::List<core::int*>*>(core::_GrowableList::•<core::int*>(0))){(core::Iterable<core::List<core::int*>*>*) →* void}; |
| #t35.{core::Set::add}{Invariant}(null){(core::List<core::int*>*) →* core::bool*}; |
| } =>#t35; |
| core::Map<core::String*, core::List<core::int*>*>* map40 = invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:39:34: Error: Both Iterable and Map spread elements encountered in ambiguous literal. |
| Map<String, List<int>> map40 = {if (oracle(\"foo\")) ...{\"bar\", []}, \"baz\": null}; |
| ^"; |
| core::List<core::List<core::int*>*>* list41 = block { |
| final core::List<core::List<core::int*>*>* #t36 = core::_GrowableList::•<core::List<core::int*>*>(0); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| #t36.{core::List::addAll}{Invariant}( block { |
| final core::Set<core::List<core::int*>*>* #t37 = new col::_CompactLinkedHashSet::•<core::List<core::int*>*>(); |
| #t37.{core::Set::add}{Invariant}(core::_GrowableList::•<core::int*>(0)){(core::List<core::int*>*) →* core::bool*}; |
| } =>#t37){(core::Iterable<core::List<core::int*>*>*) →* void}; |
| } =>#t36; |
| core::Set<core::List<core::int*>*>* set41 = block { |
| final core::Set<core::List<core::int*>*>* #t38 = new col::_CompactLinkedHashSet::•<core::List<core::int*>*>(); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| #t38.{core::Set::addAll}{Invariant}( block { |
| final core::Set<core::List<core::int*>*>* #t39 = new col::_CompactLinkedHashSet::•<core::List<core::int*>*>(); |
| #t39.{core::Set::add}{Invariant}(core::_GrowableList::•<core::int*>(0)){(core::List<core::int*>*) →* core::bool*}; |
| } =>#t39){(core::Iterable<core::List<core::int*>*>*) →* void}; |
| #t38.{core::Set::add}{Invariant}(null){(core::List<core::int*>*) →* core::bool*}; |
| } =>#t38; |
| core::List<core::List<core::int*>*>* list42 = block { |
| final core::List<core::List<core::int*>*>* #t40 = core::_GrowableList::•<core::List<core::int*>*>(0); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| if(self::oracle<dynamic>() as{TypeError,ForDynamic} core::bool*) |
| #t40.{core::List::addAll}{Invariant}(core::_GrowableList::_literal1<core::List<core::int*>*>(core::_GrowableList::•<core::int*>(0))){(core::Iterable<core::List<core::int*>*>*) →* void}; |
| } =>#t40; |
| core::Set<core::List<core::int*>*>* set42 = block { |
| final core::Set<core::List<core::int*>*>* #t41 = new col::_CompactLinkedHashSet::•<core::List<core::int*>*>(); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| if(self::oracle<dynamic>() as{TypeError,ForDynamic} core::bool*) |
| #t41.{core::Set::addAll}{Invariant}(core::_GrowableList::_literal1<core::List<core::int*>*>(core::_GrowableList::•<core::int*>(0))){(core::Iterable<core::List<core::int*>*>*) →* void}; |
| #t41.{core::Set::add}{Invariant}(null){(core::List<core::int*>*) →* core::bool*}; |
| } =>#t41; |
| core::Map<core::String*, core::List<core::int*>*>* map42 = block { |
| final core::Map<core::String*, core::List<core::int*>*>* #t42 = <core::String*, core::List<core::int*>*>{}; |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| if(self::oracle<dynamic>() as{TypeError,ForDynamic} core::bool*) { |
| core::Iterator<core::MapEntry<core::String*, core::List<core::int*>*>>* :sync-for-iterator = <core::String*, core::List<core::int*>*>{"bar": core::_GrowableList::•<core::int*>(0)}.{core::Map::entries}{core::Iterable<core::MapEntry<core::String*, core::List<core::int*>*>>}.{core::Iterable::iterator}{core::Iterator<core::MapEntry<core::String*, core::List<core::int*>*>>*}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final core::MapEntry<core::String*, core::List<core::int*>*>* #t43 = :sync-for-iterator.{core::Iterator::current}{core::MapEntry<core::String*, core::List<core::int*>*>}; |
| #t42.{core::Map::[]=}{Invariant}(#t43.{core::MapEntry::key}{core::String*}, #t43.{core::MapEntry::value}{core::List<core::int*>*}){(core::String*, core::List<core::int*>*) →* void}; |
| } |
| } |
| #t42.{core::Map::[]=}{Invariant}("baz", null){(core::String*, core::List<core::int*>*) →* void}; |
| } =>#t42; |
| core::List<core::int*>* list50 = block { |
| final core::List<core::int*>* #t44 = core::_GrowableList::•<core::int*>(0); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| #t44.{core::List::addAll}{Invariant}(core::_GrowableList::•<core::int*>(0)){(core::Iterable<core::int*>*) →* void}; |
| } =>#t44; |
| core::Set<core::int*>* set50 = block { |
| final core::Set<core::int*>* #t45 = new col::_CompactLinkedHashSet::•<core::int*>(); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| #t45.{core::Set::addAll}{Invariant}(core::_GrowableList::•<core::int*>(0)){(core::Iterable<core::int*>*) →* void}; |
| #t45.{core::Set::add}{Invariant}(null){(core::int*) →* core::bool*}; |
| } =>#t45; |
| core::Map<core::String*, core::int*>* map50 = block { |
| final core::Map<core::String*, core::int*>* #t46 = <core::String*, core::int*>{}; |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) { |
| core::Iterator<core::MapEntry<core::String*, core::int*>>* :sync-for-iterator = <core::String*, core::int*>{}.{core::Map::entries}{core::Iterable<core::MapEntry<core::String*, core::int*>>}.{core::Iterable::iterator}{core::Iterator<core::MapEntry<core::String*, core::int*>>*}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final core::MapEntry<core::String*, core::int*>* #t47 = :sync-for-iterator.{core::Iterator::current}{core::MapEntry<core::String*, core::int*>}; |
| #t46.{core::Map::[]=}{Invariant}(#t47.{core::MapEntry::key}{core::String*}, #t47.{core::MapEntry::value}{core::int*}){(core::String*, core::int*) →* void}; |
| } |
| } |
| #t46.{core::Map::[]=}{Invariant}("baz", null){(core::String*, core::int*) →* void}; |
| } =>#t46; |
| core::List<core::int*>* list51 = block { |
| final core::List<core::int*>* #t48 = core::_GrowableList::•<core::int*>(0); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| #t48.{core::List::addAll}{Invariant}( block { |
| final core::Set<core::int*>* #t49 = new col::_CompactLinkedHashSet::•<core::int*>(); |
| } =>#t49){(core::Iterable<core::int*>*) →* void}; |
| } =>#t48; |
| core::Set<core::int*>* set51 = block { |
| final core::Set<core::int*>* #t50 = new col::_CompactLinkedHashSet::•<core::int*>(); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| #t50.{core::Set::addAll}{Invariant}( block { |
| final core::Set<core::int*>* #t51 = new col::_CompactLinkedHashSet::•<core::int*>(); |
| } =>#t51){(core::Iterable<core::int*>*) →* void}; |
| #t50.{core::Set::add}{Invariant}(null){(core::int*) →* core::bool*}; |
| } =>#t50; |
| core::List<core::int*>* list52 = block { |
| final core::List<core::int*>* #t52 = core::_GrowableList::•<core::int*>(0); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| if(self::oracle<dynamic>() as{TypeError,ForDynamic} core::bool*) |
| #t52.{core::List::addAll}{Invariant}(core::_GrowableList::•<core::int*>(0)){(core::Iterable<core::int*>*) →* void}; |
| } =>#t52; |
| core::Set<core::int*>* set52 = block { |
| final core::Set<core::int*>* #t53 = new col::_CompactLinkedHashSet::•<core::int*>(); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| if(self::oracle<dynamic>() as{TypeError,ForDynamic} core::bool*) |
| #t53.{core::Set::addAll}{Invariant}(core::_GrowableList::•<core::int*>(0)){(core::Iterable<core::int*>*) →* void}; |
| #t53.{core::Set::add}{Invariant}(null){(core::int*) →* core::bool*}; |
| } =>#t53; |
| core::Map<core::String*, core::int*>* map52 = block { |
| final core::Map<core::String*, core::int*>* #t54 = <core::String*, core::int*>{}; |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| if(self::oracle<dynamic>() as{TypeError,ForDynamic} core::bool*) { |
| core::Iterator<core::MapEntry<core::String*, core::int*>>* :sync-for-iterator = <core::String*, core::int*>{}.{core::Map::entries}{core::Iterable<core::MapEntry<core::String*, core::int*>>}.{core::Iterable::iterator}{core::Iterator<core::MapEntry<core::String*, core::int*>>*}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final core::MapEntry<core::String*, core::int*>* #t55 = :sync-for-iterator.{core::Iterator::current}{core::MapEntry<core::String*, core::int*>}; |
| #t54.{core::Map::[]=}{Invariant}(#t55.{core::MapEntry::key}{core::String*}, #t55.{core::MapEntry::value}{core::int*}){(core::String*, core::int*) →* void}; |
| } |
| } |
| #t54.{core::Map::[]=}{Invariant}("baz", null){(core::String*, core::int*) →* void}; |
| } =>#t54; |
| core::List<core::List<core::int*>*>* list60 = block { |
| final core::List<core::List<core::int*>*>* #t56 = core::_GrowableList::•<core::List<core::int*>*>(0); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| #t56.{core::List::addAll}{Invariant}(core::_GrowableList::_literal1<core::List<core::int*>*>(core::_GrowableList::•<core::int*>(0))){(core::Iterable<core::List<core::int*>*>*) →* void}; |
| } =>#t56; |
| core::Set<core::List<core::int*>*>* set60 = block { |
| final core::Set<core::List<core::int*>*>* #t57 = new col::_CompactLinkedHashSet::•<core::List<core::int*>*>(); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| #t57.{core::Set::addAll}{Invariant}(core::_GrowableList::_literal1<core::List<core::int*>*>(core::_GrowableList::•<core::int*>(0))){(core::Iterable<core::List<core::int*>*>*) →* void}; |
| #t57.{core::Set::add}{Invariant}(null){(core::List<core::int*>*) →* core::bool*}; |
| } =>#t57; |
| core::Map<core::String*, core::List<core::int*>*>* map60 = block { |
| final core::Map<core::String*, core::List<core::int*>*>* #t58 = <core::String*, core::List<core::int*>*>{}; |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) { |
| core::Iterator<core::MapEntry<core::String*, core::List<core::int*>*>>* :sync-for-iterator = <core::String*, core::List<core::int*>*>{"bar": core::_GrowableList::•<core::int*>(0)}.{core::Map::entries}{core::Iterable<core::MapEntry<core::String*, core::List<core::int*>*>>}.{core::Iterable::iterator}{core::Iterator<core::MapEntry<core::String*, core::List<core::int*>*>>*}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final core::MapEntry<core::String*, core::List<core::int*>*>* #t59 = :sync-for-iterator.{core::Iterator::current}{core::MapEntry<core::String*, core::List<core::int*>*>}; |
| #t58.{core::Map::[]=}{Invariant}(#t59.{core::MapEntry::key}{core::String*}, #t59.{core::MapEntry::value}{core::List<core::int*>*}){(core::String*, core::List<core::int*>*) →* void}; |
| } |
| } |
| #t58.{core::Map::[]=}{Invariant}("baz", null){(core::String*, core::List<core::int*>*) →* void}; |
| } =>#t58; |
| core::List<core::List<core::int*>*>* list61 = block { |
| final core::List<core::List<core::int*>*>* #t60 = core::_GrowableList::•<core::List<core::int*>*>(0); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| if(self::oracle<dynamic>() as{TypeError,ForDynamic} core::bool*) |
| #t60.{core::List::addAll}{Invariant}(core::_GrowableList::_literal1<core::List<core::int*>*>(core::_GrowableList::•<core::int*>(0))){(core::Iterable<core::List<core::int*>*>*) →* void}; |
| } =>#t60; |
| core::Set<core::List<core::int*>*>* set61 = block { |
| final core::Set<core::List<core::int*>*>* #t61 = new col::_CompactLinkedHashSet::•<core::List<core::int*>*>(); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| if(self::oracle<dynamic>() as{TypeError,ForDynamic} core::bool*) |
| #t61.{core::Set::addAll}{Invariant}(core::_GrowableList::_literal1<core::List<core::int*>*>(core::_GrowableList::•<core::int*>(0))){(core::Iterable<core::List<core::int*>*>*) →* void}; |
| #t61.{core::Set::add}{Invariant}(null){(core::List<core::int*>*) →* core::bool*}; |
| } =>#t61; |
| core::Map<core::String*, core::List<core::int*>*>* map61 = block { |
| final core::Map<core::String*, core::List<core::int*>*>* #t62 = <core::String*, core::List<core::int*>*>{}; |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| if(self::oracle<dynamic>() as{TypeError,ForDynamic} core::bool*) { |
| core::Iterator<core::MapEntry<core::String*, core::List<core::int*>*>>* :sync-for-iterator = <core::String*, core::List<core::int*>*>{"bar": core::_GrowableList::•<core::int*>(0)}.{core::Map::entries}{core::Iterable<core::MapEntry<core::String*, core::List<core::int*>*>>}.{core::Iterable::iterator}{core::Iterator<core::MapEntry<core::String*, core::List<core::int*>*>>*}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final core::MapEntry<core::String*, core::List<core::int*>*>* #t63 = :sync-for-iterator.{core::Iterator::current}{core::MapEntry<core::String*, core::List<core::int*>*>}; |
| #t62.{core::Map::[]=}{Invariant}(#t63.{core::MapEntry::key}{core::String*}, #t63.{core::MapEntry::value}{core::List<core::int*>*}){(core::String*, core::List<core::int*>*) →* void}; |
| } |
| } |
| #t62.{core::Map::[]=}{Invariant}("baz", null){(core::String*, core::List<core::int*>*) →* void}; |
| } =>#t62; |
| core::List<core::List<core::int*>*>* list70 = block { |
| final core::List<core::List<core::int*>*>* #t64 = core::_GrowableList::•<core::List<core::int*>*>(0); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| #t64.{core::List::add}{Invariant}(core::_GrowableList::•<core::int*>(0)){(core::List<core::int*>*) →* void}; |
| } =>#t64; |
| core::Set<core::List<core::int*>*>* set70 = block { |
| final core::Set<core::List<core::int*>*>* #t65 = new col::_CompactLinkedHashSet::•<core::List<core::int*>*>(); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| #t65.{core::Set::add}{Invariant}(core::_GrowableList::•<core::int*>(0)){(core::List<core::int*>*) →* core::bool*}; |
| #t65.{core::Set::add}{Invariant}(null){(core::List<core::int*>*) →* core::bool*}; |
| } =>#t65; |
| core::List<core::List<core::int*>*>* list71 = block { |
| final core::List<core::List<core::int*>*>* #t66 = core::_GrowableList::•<core::List<core::int*>*>(0); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| if(self::oracle<dynamic>() as{TypeError,ForDynamic} core::bool*) |
| #t66.{core::List::add}{Invariant}(core::_GrowableList::•<core::int*>(0)){(core::List<core::int*>*) →* void}; |
| } =>#t66; |
| core::Set<core::List<core::int*>*>* set71 = block { |
| final core::Set<core::List<core::int*>*>* #t67 = new col::_CompactLinkedHashSet::•<core::List<core::int*>*>(); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| if(self::oracle<dynamic>() as{TypeError,ForDynamic} core::bool*) |
| #t67.{core::Set::add}{Invariant}(core::_GrowableList::•<core::int*>(0)){(core::List<core::int*>*) →* core::bool*}; |
| #t67.{core::Set::add}{Invariant}(null){(core::List<core::int*>*) →* core::bool*}; |
| } =>#t67; |
| core::List<core::num*>* list80 = block { |
| final core::List<core::num*>* #t68 = core::_GrowableList::•<core::num*>(0); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| #t68.{core::List::add}{Invariant}(42){(core::num*) →* void}; |
| else |
| #t68.{core::List::add}{Invariant}(3.14){(core::num*) →* void}; |
| } =>#t68; |
| core::Set<core::num*>* set80 = block { |
| final core::Set<core::num*>* #t69 = new col::_CompactLinkedHashSet::•<core::num*>(); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| #t69.{core::Set::add}{Invariant}(42){(core::num*) →* core::bool*}; |
| else |
| #t69.{core::Set::add}{Invariant}(3.14){(core::num*) →* core::bool*}; |
| #t69.{core::Set::add}{Invariant}(null){(core::num*) →* core::bool*}; |
| } =>#t69; |
| core::Map<core::String*, core::num*>* map80 = block { |
| final core::Map<core::String*, core::num*>* #t70 = <core::String*, core::num*>{}; |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| #t70.{core::Map::[]=}{Invariant}("bar", 42){(core::String*, core::num*) →* void}; |
| else |
| #t70.{core::Map::[]=}{Invariant}("bar", 3.14){(core::String*, core::num*) →* void}; |
| #t70.{core::Map::[]=}{Invariant}("baz", null){(core::String*, core::num*) →* void}; |
| } =>#t70; |
| core::List<core::num*>* list81 = block { |
| final core::List<core::num*>* #t71 = core::_GrowableList::•<core::num*>(0); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| #t71.{core::List::addAll}{Invariant}(listInt){(core::Iterable<core::num*>*) →* void}; |
| else |
| #t71.{core::List::addAll}{Invariant}(listDouble){(core::Iterable<core::num*>*) →* void}; |
| } =>#t71; |
| core::Set<core::num*>* set81 = block { |
| final core::Set<core::num*>* #t72 = new col::_CompactLinkedHashSet::•<core::num*>(); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| #t72.{core::Set::addAll}{Invariant}(listInt){(core::Iterable<core::num*>*) →* void}; |
| else |
| #t72.{core::Set::addAll}{Invariant}(listDouble){(core::Iterable<core::num*>*) →* void}; |
| #t72.{core::Set::add}{Invariant}(null){(core::num*) →* core::bool*}; |
| } =>#t72; |
| core::Map<core::String*, core::num*>* map81 = block { |
| final core::Map<core::String*, core::num*>* #t73 = <core::String*, core::num*>{}; |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) { |
| core::Iterator<core::MapEntry<core::String*, core::num*>>* :sync-for-iterator = mapToInt.{core::Map::entries}{core::Iterable<core::MapEntry<core::String*, core::num*>>}.{core::Iterable::iterator}{core::Iterator<core::MapEntry<core::String*, core::num*>>*}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final core::MapEntry<core::String*, core::num*>* #t74 = :sync-for-iterator.{core::Iterator::current}{core::MapEntry<core::String*, core::num*>}; |
| #t73.{core::Map::[]=}{Invariant}(#t74.{core::MapEntry::key}{core::String*}, #t74.{core::MapEntry::value}{core::num*}){(core::String*, core::num*) →* void}; |
| } |
| } |
| else { |
| core::Iterator<core::MapEntry<core::String*, core::num*>>* :sync-for-iterator = mapToDouble.{core::Map::entries}{core::Iterable<core::MapEntry<core::String*, core::num*>>}.{core::Iterable::iterator}{core::Iterator<core::MapEntry<core::String*, core::num*>>*}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final core::MapEntry<core::String*, core::num*>* #t75 = :sync-for-iterator.{core::Iterator::current}{core::MapEntry<core::String*, core::num*>}; |
| #t73.{core::Map::[]=}{Invariant}(#t75.{core::MapEntry::key}{core::String*}, #t75.{core::MapEntry::value}{core::num*}){(core::String*, core::num*) →* void}; |
| } |
| } |
| #t73.{core::Map::[]=}{Invariant}("baz", null){(core::String*, core::num*) →* void}; |
| } =>#t73; |
| core::List<dynamic>* list82 = block { |
| final core::List<dynamic>* #t76 = core::_GrowableList::•<dynamic>(0); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| #t76.{core::List::addAll}{Invariant}(listInt){(core::Iterable<dynamic>*) →* void}; |
| else |
| #t76.{core::List::addAll}{Invariant}(dynVar as{TypeError,ForDynamic} core::Iterable<dynamic>*){(core::Iterable<dynamic>*) →* void}; |
| } =>#t76; |
| core::Set<dynamic>* set82 = block { |
| final core::Set<dynamic>* #t77 = new col::_CompactLinkedHashSet::•<dynamic>(); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| #t77.{core::Set::addAll}{Invariant}(listInt){(core::Iterable<dynamic>*) →* void}; |
| else |
| #t77.{core::Set::addAll}{Invariant}(dynVar as{TypeError,ForDynamic} core::Iterable<dynamic>*){(core::Iterable<dynamic>*) →* void}; |
| #t77.{core::Set::add}{Invariant}(null){(dynamic) →* core::bool*}; |
| } =>#t77; |
| core::Set<dynamic>* map82 = block { |
| final core::Set<dynamic>* #t78 = new col::_CompactLinkedHashSet::•<dynamic>(); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| #t78.{core::Set::add}{Invariant}(invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:71:38: Error: Unexpected type 'Map<String, int>' of a spread. Expected 'dynamic' or an Iterable. |
| - 'Map' is from 'dart:core'. |
| var map82 = {if (oracle(\"foo\")) ...mapToInt else ...dynVar, null}; |
| ^"){(dynamic) →* core::bool*}; |
| else |
| #t78.{core::Set::addAll}{Invariant}(dynVar as{TypeError,ForDynamic} core::Iterable<dynamic>*){(core::Iterable<dynamic>*) →* void}; |
| #t78.{core::Set::add}{Invariant}(null){(dynamic) →* core::bool*}; |
| } =>#t78; |
| core::List<core::num*>* list83 = block { |
| final core::List<core::num*>* #t79 = core::_GrowableList::•<core::num*>(0); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| #t79.{core::List::add}{Invariant}(42){(core::num*) →* void}; |
| else |
| #t79.{core::List::addAll}{Invariant}(listDouble){(core::Iterable<core::num*>*) →* void}; |
| } =>#t79; |
| core::Set<core::num*>* set83 = block { |
| final core::Set<core::num*>* #t80 = new col::_CompactLinkedHashSet::•<core::num*>(); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| #t80.{core::Set::addAll}{Invariant}(listInt){(core::Iterable<core::num*>*) →* void}; |
| else |
| #t80.{core::Set::add}{Invariant}(3.14){(core::num*) →* core::bool*}; |
| #t80.{core::Set::add}{Invariant}(null){(core::num*) →* core::bool*}; |
| } =>#t80; |
| core::Map<core::String*, core::num*>* map83 = block { |
| final core::Map<core::String*, core::num*>* #t81 = <core::String*, core::num*>{}; |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) { |
| core::Iterator<core::MapEntry<core::String*, core::num*>>* :sync-for-iterator = mapToInt.{core::Map::entries}{core::Iterable<core::MapEntry<core::String*, core::num*>>}.{core::Iterable::iterator}{core::Iterator<core::MapEntry<core::String*, core::num*>>*}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final core::MapEntry<core::String*, core::num*>* #t82 = :sync-for-iterator.{core::Iterator::current}{core::MapEntry<core::String*, core::num*>}; |
| #t81.{core::Map::[]=}{Invariant}(#t82.{core::MapEntry::key}{core::String*}, #t82.{core::MapEntry::value}{core::num*}){(core::String*, core::num*) →* void}; |
| } |
| } |
| else |
| #t81.{core::Map::[]=}{Invariant}("bar", 3.14){(core::String*, core::num*) →* void}; |
| #t81.{core::Map::[]=}{Invariant}("baz", null){(core::String*, core::num*) →* void}; |
| } =>#t81; |
| core::List<core::int*>* list90 = block { |
| final core::List<core::int*>* #t83 = core::_GrowableList::•<core::int*>(0); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| #t83.{core::List::add}{Invariant}(dynVar as{TypeError,ForDynamic} core::int*){(core::int*) →* void}; |
| } =>#t83; |
| core::Set<core::int*>* set90 = block { |
| final core::Set<core::int*>* #t84 = new col::_CompactLinkedHashSet::•<core::int*>(); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| #t84.{core::Set::add}{Invariant}(dynVar as{TypeError,ForDynamic} core::int*){(core::int*) →* core::bool*}; |
| #t84.{core::Set::add}{Invariant}(null){(core::int*) →* core::bool*}; |
| } =>#t84; |
| core::Map<core::String*, core::int*>* map90 = block { |
| final core::Map<core::String*, core::int*>* #t85 = <core::String*, core::int*>{}; |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| #t85.{core::Map::[]=}{Invariant}("bar", dynVar as{TypeError,ForDynamic} core::int*){(core::String*, core::int*) →* void}; |
| #t85.{core::Map::[]=}{Invariant}("baz", null){(core::String*, core::int*) →* void}; |
| } =>#t85; |
| core::List<core::int*>* list91 = block { |
| final core::List<core::int*>* #t86 = core::_GrowableList::•<core::int*>(0); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) { |
| core::Iterator<dynamic>* :sync-for-iterator = (dynVar as{TypeError,ForDynamic} core::Iterable<dynamic>*).{core::Iterable::iterator}{core::Iterator<dynamic>*}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final dynamic #t87 = :sync-for-iterator.{core::Iterator::current}{dynamic}; |
| { |
| final core::int* #t88 = #t87 as{TypeError} core::int*; |
| #t86.{core::List::add}{Invariant}(#t88){(core::int*) →* void}; |
| } |
| } |
| } |
| } =>#t86; |
| core::Set<core::int*>* set91 = block { |
| final core::Set<core::int*>* #t89 = new col::_CompactLinkedHashSet::•<core::int*>(); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) { |
| core::Iterator<dynamic>* :sync-for-iterator = (dynVar as{TypeError,ForDynamic} core::Iterable<dynamic>*).{core::Iterable::iterator}{core::Iterator<dynamic>*}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final dynamic #t90 = :sync-for-iterator.{core::Iterator::current}{dynamic}; |
| { |
| final core::int* #t91 = #t90 as{TypeError} core::int*; |
| #t89.{core::Set::add}{Invariant}(#t91){(core::int*) →* core::bool*}; |
| } |
| } |
| } |
| #t89.{core::Set::add}{Invariant}(null){(core::int*) →* core::bool*}; |
| } =>#t89; |
| core::Map<core::String*, core::int*>* map91 = block { |
| final core::Map<core::String*, core::int*>* #t92 = <core::String*, core::int*>{}; |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) { |
| core::Iterator<core::MapEntry<core::String*, core::int*>>* :sync-for-iterator = (dynVar as{TypeError,ForDynamic} core::Map<dynamic, dynamic>*).{core::Map::entries}{core::Iterable<core::MapEntry<core::String*, core::int*>>}.{core::Iterable::iterator}{core::Iterator<core::MapEntry<core::String*, core::int*>>*}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final core::MapEntry<dynamic, dynamic>* #t93 = :sync-for-iterator.{core::Iterator::current}{core::MapEntry<core::String*, core::int*>}; |
| { |
| final core::String* #t94 = #t93.{core::MapEntry::key}{dynamic} as{TypeError} core::String*; |
| final core::int* #t95 = #t93.{core::MapEntry::value}{dynamic} as{TypeError} core::int*; |
| #t92.{core::Map::[]=}{Invariant}(#t94, #t95){(core::String*, core::int*) →* void}; |
| } |
| } |
| } |
| #t92.{core::Map::[]=}{Invariant}("baz", null){(core::String*, core::int*) →* void}; |
| } =>#t92; |
| core::List<core::int*>* list100 = block { |
| final core::List<core::int*>* #t96 = core::_GrowableList::•<core::int*>(0); |
| if(dynVar as{TypeError,ForDynamic} core::bool*) |
| #t96.{core::List::add}{Invariant}(42){(core::int*) →* void}; |
| } =>#t96; |
| core::Set<core::int*>* set100 = block { |
| final core::Set<core::int*>* #t97 = new col::_CompactLinkedHashSet::•<core::int*>(); |
| if(dynVar as{TypeError,ForDynamic} core::bool*) |
| #t97.{core::Set::add}{Invariant}(42){(core::int*) →* core::bool*}; |
| } =>#t97; |
| core::Map<core::int*, core::int*>* map100 = block { |
| final core::Map<core::int*, core::int*>* #t98 = <core::int*, core::int*>{}; |
| if(dynVar as{TypeError,ForDynamic} core::bool*) |
| #t98.{core::Map::[]=}{Invariant}(42, 42){(core::int*, core::int*) →* void}; |
| } =>#t98; |
| } |
| static method testIfElementErrors(core::Map<core::int*, core::int*>* map) → dynamic { |
| block { |
| final core::List<core::int*>* #t99 = core::_GrowableList::•<core::int*>(0); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| #t99.{core::List::add}{Invariant}(let final Never* #t100 = invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:87:28: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| <int>[if (oracle(\"foo\")) \"bar\"]; |
| ^" in "bar" as{TypeError} core::int*){(core::int*) →* void}; |
| } =>#t99; |
| block { |
| final core::Set<core::int*>* #t101 = new col::_CompactLinkedHashSet::•<core::int*>(); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| #t101.{core::Set::add}{Invariant}(let final Never* #t102 = invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:88:28: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| <int>{if (oracle(\"foo\")) \"bar\", null}; |
| ^" in "bar" as{TypeError} core::int*){(core::int*) →* core::bool*}; |
| #t101.{core::Set::add}{Invariant}(null){(core::int*) →* core::bool*}; |
| } =>#t101; |
| block { |
| final core::Map<core::String*, core::int*>* #t103 = <core::String*, core::int*>{}; |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| #t103.{core::Map::[]=}{Invariant}("bar", let final Never* #t104 = invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:89:43: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| <String, int>{if (oracle(\"foo\")) \"bar\": \"bar\", \"baz\": null}; |
| ^" in "bar" as{TypeError} core::int*){(core::String*, core::int*) →* void}; |
| #t103.{core::Map::[]=}{Invariant}("baz", null){(core::String*, core::int*) →* void}; |
| } =>#t103; |
| block { |
| final core::List<core::int*>* #t105 = core::_GrowableList::•<core::int*>(0); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| #t105.{core::List::addAll}{Invariant}(core::_GrowableList::_literal1<core::int*>(let final Never* #t106 = invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:90:32: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| <int>[if (oracle(\"foo\")) ...[\"bar\"]]; |
| ^" in "bar" as{TypeError} core::int*)){(core::Iterable<core::int*>*) →* void}; |
| } =>#t105; |
| block { |
| final core::Set<core::int*>* #t107 = new col::_CompactLinkedHashSet::•<core::int*>(); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| #t107.{core::Set::addAll}{Invariant}(core::_GrowableList::_literal1<core::int*>(let final Never* #t108 = invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:91:32: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| <int>{if (oracle(\"foo\")) ...[\"bar\"], null}; |
| ^" in "bar" as{TypeError} core::int*)){(core::Iterable<core::int*>*) →* void}; |
| #t107.{core::Set::add}{Invariant}(null){(core::int*) →* core::bool*}; |
| } =>#t107; |
| block { |
| final core::Map<core::String*, core::int*>* #t109 = <core::String*, core::int*>{}; |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) { |
| core::Iterator<core::MapEntry<core::String*, core::int*>>* :sync-for-iterator = <core::String*, core::int*>{"bar": let final Never* #t110 = invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:92:47: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| <String, int>{if (oracle(\"foo\")) ...{\"bar\": \"bar\"}, \"baz\": null}; |
| ^" in "bar" as{TypeError} core::int*}.{core::Map::entries}{core::Iterable<core::MapEntry<core::String*, core::int*>>}.{core::Iterable::iterator}{core::Iterator<core::MapEntry<core::String*, core::int*>>*}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final core::MapEntry<core::String*, core::int*>* #t111 = :sync-for-iterator.{core::Iterator::current}{core::MapEntry<core::String*, core::int*>}; |
| #t109.{core::Map::[]=}{Invariant}(#t111.{core::MapEntry::key}{core::String*}, #t111.{core::MapEntry::value}{core::int*}){(core::String*, core::int*) →* void}; |
| } |
| } |
| #t109.{core::Map::[]=}{Invariant}("baz", null){(core::String*, core::int*) →* void}; |
| } =>#t109; |
| block { |
| final core::List<core::int*>* #t112 = core::_GrowableList::•<core::int*>(0); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| #t112.{core::List::add}{Invariant}(invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:93:31: Error: Unexpected type 'Map<int, int>' of a spread. Expected 'dynamic' or an Iterable. |
| - 'Map' is from 'dart:core'. |
| <int>[if (oracle(\"foo\")) ...map]; |
| ^"){(core::int*) →* void}; |
| } =>#t112; |
| block { |
| final core::Set<core::int*>* #t113 = new col::_CompactLinkedHashSet::•<core::int*>(); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| #t113.{core::Set::add}{Invariant}(invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:94:31: Error: Unexpected type 'Map<int, int>' of a spread. Expected 'dynamic' or an Iterable. |
| - 'Map' is from 'dart:core'. |
| <int>{if (oracle(\"foo\")) ...map, null}; |
| ^"){(core::int*) →* core::bool*}; |
| #t113.{core::Set::add}{Invariant}(null){(core::int*) →* core::bool*}; |
| } =>#t113; |
| <core::String*, core::int*>{invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:95:39: Error: Unexpected type 'List<String>' of a map spread entry. Expected 'dynamic' or a Map. |
| - 'List' is from 'dart:core'. |
| <String, int>{if (oracle(\"foo\")) ...[\"bar\"], \"baz\": null}; |
| ^": null, invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:95:39: Error: Unexpected type 'List<String>' of a map spread entry. Expected 'dynamic' or a Map. |
| - 'List' is from 'dart:core'. |
| <String, int>{if (oracle(\"foo\")) ...[\"bar\"], \"baz\": null}; |
| ^": null}; |
| block { |
| final core::List<core::String*>* #t114 = core::_GrowableList::•<core::String*>(0); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| #t114.{core::List::add}{Invariant}(let final Never* #t115 = invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:96:31: Error: A value of type 'int' can't be assigned to a variable of type 'String'. |
| <String>[if (oracle(\"foo\")) 42 else 3.14]; |
| ^" in 42 as{TypeError} core::String*){(core::String*) →* void}; |
| else |
| #t114.{core::List::add}{Invariant}(let final Never* #t116 = invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:96:39: Error: A value of type 'double' can't be assigned to a variable of type 'String'. |
| <String>[if (oracle(\"foo\")) 42 else 3.14]; |
| ^" in 3.14 as{TypeError} core::String*){(core::String*) →* void}; |
| } =>#t114; |
| block { |
| final core::Set<core::String*>* #t117 = new col::_CompactLinkedHashSet::•<core::String*>(); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| #t117.{core::Set::add}{Invariant}(let final Never* #t118 = invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:97:31: Error: A value of type 'int' can't be assigned to a variable of type 'String'. |
| <String>{if (oracle(\"foo\")) 42 else 3.14, null}; |
| ^" in 42 as{TypeError} core::String*){(core::String*) →* core::bool*}; |
| else |
| #t117.{core::Set::add}{Invariant}(let final Never* #t119 = invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:97:39: Error: A value of type 'double' can't be assigned to a variable of type 'String'. |
| <String>{if (oracle(\"foo\")) 42 else 3.14, null}; |
| ^" in 3.14 as{TypeError} core::String*){(core::String*) →* core::bool*}; |
| #t117.{core::Set::add}{Invariant}(null){(core::String*) →* core::bool*}; |
| } =>#t117; |
| block { |
| final core::Map<core::String*, core::String*>* #t120 = <core::String*, core::String*>{}; |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| #t120.{core::Map::[]=}{Invariant}("bar", let final Never* #t121 = invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:98:46: Error: A value of type 'int' can't be assigned to a variable of type 'String'. |
| <String, String>{if (oracle(\"foo\")) \"bar\": 42 else \"baz\": 3.14, \"baz\": null}; |
| ^" in 42 as{TypeError} core::String*){(core::String*, core::String*) →* void}; |
| else |
| #t120.{core::Map::[]=}{Invariant}("baz", let final Never* #t122 = invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:98:61: Error: A value of type 'double' can't be assigned to a variable of type 'String'. |
| <String, String>{if (oracle(\"foo\")) \"bar\": 42 else \"baz\": 3.14, \"baz\": null}; |
| ^" in 3.14 as{TypeError} core::String*){(core::String*, core::String*) →* void}; |
| #t120.{core::Map::[]=}{Invariant}("baz", null){(core::String*, core::String*) →* void}; |
| } =>#t120; |
| block { |
| final core::List<core::int*>* #t123 = core::_GrowableList::•<core::int*>(0); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| #t123.{core::List::add}{Invariant}(invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:99:31: Error: Unexpected type 'Map<int, int>' of a spread. Expected 'dynamic' or an Iterable. |
| - 'Map' is from 'dart:core'. |
| <int>[if (oracle(\"foo\")) ...map else 42]; |
| ^"){(core::int*) →* void}; |
| else |
| #t123.{core::List::add}{Invariant}(42){(core::int*) →* void}; |
| } =>#t123; |
| block { |
| final core::Set<core::int*>* #t124 = new col::_CompactLinkedHashSet::•<core::int*>(); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| #t124.{core::Set::add}{Invariant}(invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:100:31: Error: Unexpected type 'Map<int, int>' of a spread. Expected 'dynamic' or an Iterable. |
| - 'Map' is from 'dart:core'. |
| <int>{if (oracle(\"foo\")) ...map else 42, null}; |
| ^"){(core::int*) →* core::bool*}; |
| else |
| #t124.{core::Set::add}{Invariant}(42){(core::int*) →* core::bool*}; |
| #t124.{core::Set::add}{Invariant}(null){(core::int*) →* core::bool*}; |
| } =>#t124; |
| <core::String*, core::int*>{invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:101:39: Error: Unexpected type 'List<int>' of a map spread entry. Expected 'dynamic' or a Map. |
| - 'List' is from 'dart:core'. |
| <String, int>{if (oracle(\"foo\")) ...[42] else \"bar\": 42, \"baz\": null}; |
| ^": null, invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:101:39: Error: Unexpected type 'List<int>' of a map spread entry. Expected 'dynamic' or a Map. |
| - 'List' is from 'dart:core'. |
| <String, int>{if (oracle(\"foo\")) ...[42] else \"bar\": 42, \"baz\": null}; |
| ^": null}; |
| block { |
| final core::List<core::int*>* #t125 = core::_GrowableList::•<core::int*>(0); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| #t125.{core::List::add}{Invariant}(42){(core::int*) →* void}; |
| else |
| #t125.{core::List::add}{Invariant}(invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:102:39: Error: Unexpected type 'Map<int, int>' of a spread. Expected 'dynamic' or an Iterable. |
| - 'Map' is from 'dart:core'. |
| <int>[if (oracle(\"foo\")) 42 else ...map]; |
| ^"){(core::int*) →* void}; |
| } =>#t125; |
| block { |
| final core::Set<core::int*>* #t126 = new col::_CompactLinkedHashSet::•<core::int*>(); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| #t126.{core::Set::add}{Invariant}(invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:103:31: Error: Unexpected type 'Map<int, int>' of a spread. Expected 'dynamic' or an Iterable. |
| - 'Map' is from 'dart:core'. |
| <int>{if (oracle(\"foo\")) ...map else 42, null}; |
| ^"){(core::int*) →* core::bool*}; |
| else |
| #t126.{core::Set::add}{Invariant}(42){(core::int*) →* core::bool*}; |
| #t126.{core::Set::add}{Invariant}(null){(core::int*) →* core::bool*}; |
| } =>#t126; |
| <core::String*, core::int*>{invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:104:54: Error: Unexpected type 'List<int>' of a map spread entry. Expected 'dynamic' or a Map. |
| - 'List' is from 'dart:core'. |
| <String, int>{if (oracle(\"foo\")) \"bar\": 42 else ...[42], \"baz\": null}; |
| ^": null, invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:104:54: Error: Unexpected type 'List<int>' of a map spread entry. Expected 'dynamic' or a Map. |
| - 'List' is from 'dart:core'. |
| <String, int>{if (oracle(\"foo\")) \"bar\": 42 else ...[42], \"baz\": null}; |
| ^": null}; |
| core::Set<dynamic>* set10 = invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:106:24: Error: Both Iterable and Map spread elements encountered in ambiguous literal. |
| Set<dynamic> set10 = {if (oracle(\"foo\")) 42 else \"bar\": 3.14}; |
| ^"; |
| core::Map<dynamic, dynamic>* map10 = <dynamic, dynamic>{invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:107:53: Error: Expected ':' after this. |
| Map<dynamic, dynamic> map10 = {if (oracle(\"foo\")) 42 else \"bar\": 3.14}; |
| ^": null}; |
| core::Set<dynamic>* set11 = invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:108:24: Error: Both Iterable and Map spread elements encountered in ambiguous literal. |
| Set<dynamic> set11 = {if (oracle(\"foo\")) \"bar\": 3.14 else 42}; |
| ^"; |
| core::Map<dynamic, dynamic>* map11 = <dynamic, dynamic>{invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:109:70: Error: Expected ':' after this. |
| Map<dynamic, dynamic> map11 = {if (oracle(\"foo\")) \"bar\": 3.14 else 42}; |
| ^": null}; |
| core::Map<dynamic, Null>* map12 = <dynamic, Null>{invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:110:35: Error: Expected ':' after this. |
| var map12 = {if (oracle(\"foo\")) 42 else \"bar\": 3.14}; |
| ^": null}; |
| core::Map<dynamic, Null>* map13 = <dynamic, Null>{invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:111:52: Error: Expected ':' after this. |
| var map13 = {if (oracle(\"foo\")) \"bar\": 3.14 else 42}; |
| ^": null}; |
| core::List<core::int*>* list20 = block { |
| final core::List<core::int*>* #t127 = core::_GrowableList::•<core::int*>(0); |
| if(let final Never* #t128 = invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:112:27: Error: A value of type 'int' can't be assigned to a variable of type 'bool'. |
| List<int> list20 = [if (42) 42]; |
| ^" in 42 as{TypeError} core::bool*) |
| #t127.{core::List::add}{Invariant}(42){(core::int*) →* void}; |
| } =>#t127; |
| core::Set<core::int*>* set20 = block { |
| final core::Set<core::int*>* #t129 = new col::_CompactLinkedHashSet::•<core::int*>(); |
| if(let final Never* #t130 = invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:113:25: Error: A value of type 'int' can't be assigned to a variable of type 'bool'. |
| Set<int> set20 = {if (42) 42}; |
| ^" in 42 as{TypeError} core::bool*) |
| #t129.{core::Set::add}{Invariant}(42){(core::int*) →* core::bool*}; |
| } =>#t129; |
| core::Map<core::int*, core::int*>* map30 = block { |
| final core::Map<core::int*, core::int*>* #t131 = <core::int*, core::int*>{}; |
| if(let final Never* #t132 = invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:114:30: Error: A value of type 'int' can't be assigned to a variable of type 'bool'. |
| Map<int, int> map30 = {if (42) 42: 42}; |
| ^" in 42 as{TypeError} core::bool*) |
| #t131.{core::Map::[]=}{Invariant}(42, 42){(core::int*, core::int*) →* void}; |
| } =>#t131; |
| core::List<core::String*>* list40 = block { |
| final core::List<core::String*>* #t133 = core::_GrowableList::•<core::String*>(0); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| #t133.{core::List::add}{Invariant}(let final Never* #t134 = invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:115:53: Error: A value of type 'bool' can't be assigned to a variable of type 'String'. |
| List<String> list40 = <String>[if (oracle(\"foo\")) true else 42]; |
| ^" in true as{TypeError} core::String*){(core::String*) →* void}; |
| else |
| #t133.{core::List::add}{Invariant}(let final Never* #t135 = invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:115:63: Error: A value of type 'int' can't be assigned to a variable of type 'String'. |
| List<String> list40 = <String>[if (oracle(\"foo\")) true else 42]; |
| ^" in 42 as{TypeError} core::String*){(core::String*) →* void}; |
| } =>#t133; |
| core::Set<core::String*>* set40 = block { |
| final core::Set<core::String*>* #t136 = new col::_CompactLinkedHashSet::•<core::String*>(); |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| #t136.{core::Set::add}{Invariant}(let final Never* #t137 = invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:116:51: Error: A value of type 'bool' can't be assigned to a variable of type 'String'. |
| Set<String> set40 = <String>{if (oracle(\"foo\")) true else 42}; |
| ^" in true as{TypeError} core::String*){(core::String*) →* core::bool*}; |
| else |
| #t136.{core::Set::add}{Invariant}(let final Never* #t138 = invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:116:61: Error: A value of type 'int' can't be assigned to a variable of type 'String'. |
| Set<String> set40 = <String>{if (oracle(\"foo\")) true else 42}; |
| ^" in 42 as{TypeError} core::String*){(core::String*) →* core::bool*}; |
| } =>#t136; |
| core::Map<core::String*, core::int*>* map40 = block { |
| final core::Map<core::String*, core::int*>* #t139 = <core::String*, core::int*>{}; |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| #t139.{core::Map::[]=}{Invariant}(let final Never* #t140 = invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:117:61: Error: A value of type 'bool' can't be assigned to a variable of type 'String'. |
| Map<String, int> map40 = <String, int>{if (oracle(\"foo\")) true: 42 else 42: 42}; |
| ^" in true as{TypeError} core::String*, 42){(core::String*, core::int*) →* void}; |
| else |
| #t139.{core::Map::[]=}{Invariant}(let final Never* #t141 = invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:117:75: Error: A value of type 'int' can't be assigned to a variable of type 'String'. |
| Map<String, int> map40 = <String, int>{if (oracle(\"foo\")) true: 42 else 42: 42}; |
| ^" in 42 as{TypeError} core::String*, 42){(core::String*, core::int*) →* void}; |
| } =>#t139; |
| core::Map<core::int*, core::String*>* map41 = block { |
| final core::Map<core::int*, core::String*>* #t142 = <core::int*, core::String*>{}; |
| if(self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*) |
| #t142.{core::Map::[]=}{Invariant}(42, let final Never* #t143 = invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:118:65: Error: A value of type 'bool' can't be assigned to a variable of type 'String'. |
| Map<int, String> map41 = <int, String>{if (oracle(\"foo\")) 42: true else 42: 42}; |
| ^" in true as{TypeError} core::String*){(core::int*, core::String*) →* void}; |
| else |
| #t142.{core::Map::[]=}{Invariant}(42, let final Never* #t144 = invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:118:79: Error: A value of type 'int' can't be assigned to a variable of type 'String'. |
| Map<int, String> map41 = <int, String>{if (oracle(\"foo\")) 42: true else 42: 42}; |
| ^" in 42 as{TypeError} core::String*){(core::int*, core::String*) →* void}; |
| } =>#t142; |
| } |
| static method testForElement(dynamic dynVar, core::List<core::int*>* listInt, core::List<core::double*>* listDouble, core::int* index, core::Map<core::String*, core::int*>* mapStringInt, core::Map<core::String*, core::double*>* mapStringDouble) → dynamic { |
| core::List<core::int*>* list10 = block { |
| final core::List<core::int*>* #t145 = core::_GrowableList::•<core::int*>(0); |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| #t145.{core::List::add}{Invariant}(42){(core::int*) →* void}; |
| } =>#t145; |
| core::Set<core::int*>* set10 = block { |
| final core::Set<core::int*>* #t146 = new col::_CompactLinkedHashSet::•<core::int*>(); |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| #t146.{core::Set::add}{Invariant}(42){(core::int*) →* core::bool*}; |
| #t146.{core::Set::add}{Invariant}(null){(core::int*) →* core::bool*}; |
| } =>#t146; |
| core::Map<core::String*, core::int*>* map10 = block { |
| final core::Map<core::String*, core::int*>* #t147 = <core::String*, core::int*>{}; |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| #t147.{core::Map::[]=}{Invariant}("bar", 42){(core::String*, core::int*) →* void}; |
| #t147.{core::Map::[]=}{Invariant}("baz", null){(core::String*, core::int*) →* void}; |
| } =>#t147; |
| core::List<dynamic>* list11 = block { |
| final core::List<dynamic>* #t148 = core::_GrowableList::•<dynamic>(0); |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| #t148.{core::List::add}{Invariant}(dynVar){(dynamic) →* void}; |
| } =>#t148; |
| core::Set<dynamic>* set11 = block { |
| final core::Set<dynamic>* #t149 = new col::_CompactLinkedHashSet::•<dynamic>(); |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| #t149.{core::Set::add}{Invariant}(dynVar){(dynamic) →* core::bool*}; |
| #t149.{core::Set::add}{Invariant}(null){(dynamic) →* core::bool*}; |
| } =>#t149; |
| core::Map<core::String*, dynamic>* map11 = block { |
| final core::Map<core::String*, dynamic>* #t150 = <core::String*, dynamic>{}; |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| #t150.{core::Map::[]=}{Invariant}("bar", dynVar){(core::String*, dynamic) →* void}; |
| #t150.{core::Map::[]=}{Invariant}("baz", null){(core::String*, dynamic) →* void}; |
| } =>#t150; |
| core::List<core::List<core::int*>*>* list12 = block { |
| final core::List<core::List<core::int*>*>* #t151 = core::_GrowableList::•<core::List<core::int*>*>(0); |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| #t151.{core::List::add}{Invariant}(core::_GrowableList::_literal1<core::int*>(42)){(core::List<core::int*>*) →* void}; |
| } =>#t151; |
| core::Set<core::List<core::int*>*>* set12 = block { |
| final core::Set<core::List<core::int*>*>* #t152 = new col::_CompactLinkedHashSet::•<core::List<core::int*>*>(); |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| #t152.{core::Set::add}{Invariant}(core::_GrowableList::_literal1<core::int*>(42)){(core::List<core::int*>*) →* core::bool*}; |
| #t152.{core::Set::add}{Invariant}(null){(core::List<core::int*>*) →* core::bool*}; |
| } =>#t152; |
| core::Map<core::String*, core::List<core::int*>*>* map12 = block { |
| final core::Map<core::String*, core::List<core::int*>*>* #t153 = <core::String*, core::List<core::int*>*>{}; |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| #t153.{core::Map::[]=}{Invariant}("bar", core::_GrowableList::_literal1<core::int*>(42)){(core::String*, core::List<core::int*>*) →* void}; |
| #t153.{core::Map::[]=}{Invariant}("baz", null){(core::String*, core::List<core::int*>*) →* void}; |
| } =>#t153; |
| core::List<core::int*>* list20 = block { |
| final core::List<core::int*>* #t154 = core::_GrowableList::•<core::int*>(0); |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| #t154.{core::List::addAll}{Invariant}(core::_GrowableList::_literal1<core::int*>(42)){(core::Iterable<core::int*>*) →* void}; |
| } =>#t154; |
| core::Set<core::int*>* set20 = block { |
| final core::Set<core::int*>* #t155 = new col::_CompactLinkedHashSet::•<core::int*>(); |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| #t155.{core::Set::addAll}{Invariant}(core::_GrowableList::_literal1<core::int*>(42)){(core::Iterable<core::int*>*) →* void}; |
| #t155.{core::Set::add}{Invariant}(null){(core::int*) →* core::bool*}; |
| } =>#t155; |
| core::Map<core::String*, core::int*>* map20 = block { |
| final core::Map<core::String*, core::int*>* #t156 = <core::String*, core::int*>{}; |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) { |
| core::Iterator<core::MapEntry<core::String*, core::int*>>* :sync-for-iterator = <core::String*, core::int*>{"bar": 42}.{core::Map::entries}{core::Iterable<core::MapEntry<core::String*, core::int*>>}.{core::Iterable::iterator}{core::Iterator<core::MapEntry<core::String*, core::int*>>*}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final core::MapEntry<core::String*, core::int*>* #t157 = :sync-for-iterator.{core::Iterator::current}{core::MapEntry<core::String*, core::int*>}; |
| #t156.{core::Map::[]=}{Invariant}(#t157.{core::MapEntry::key}{core::String*}, #t157.{core::MapEntry::value}{core::int*}){(core::String*, core::int*) →* void}; |
| } |
| } |
| #t156.{core::Map::[]=}{Invariant}("baz", null){(core::String*, core::int*) →* void}; |
| } =>#t156; |
| core::List<dynamic>* list21 = block { |
| final core::List<dynamic>* #t158 = core::_GrowableList::•<dynamic>(0); |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| #t158.{core::List::addAll}{Invariant}(core::_GrowableList::_literal1<dynamic>(dynVar)){(core::Iterable<dynamic>*) →* void}; |
| } =>#t158; |
| core::Set<dynamic>* set21 = block { |
| final core::Set<dynamic>* #t159 = new col::_CompactLinkedHashSet::•<dynamic>(); |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| #t159.{core::Set::addAll}{Invariant}(core::_GrowableList::_literal1<dynamic>(dynVar)){(core::Iterable<dynamic>*) →* void}; |
| #t159.{core::Set::add}{Invariant}(null){(dynamic) →* core::bool*}; |
| } =>#t159; |
| core::Map<core::String*, dynamic>* map21 = block { |
| final core::Map<core::String*, dynamic>* #t160 = <core::String*, dynamic>{}; |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) { |
| core::Iterator<core::MapEntry<core::String*, dynamic>>* :sync-for-iterator = <core::String*, dynamic>{"bar": dynVar}.{core::Map::entries}{core::Iterable<core::MapEntry<core::String*, dynamic>>}.{core::Iterable::iterator}{core::Iterator<core::MapEntry<core::String*, dynamic>>*}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final core::MapEntry<core::String*, dynamic>* #t161 = :sync-for-iterator.{core::Iterator::current}{core::MapEntry<core::String*, dynamic>}; |
| #t160.{core::Map::[]=}{Invariant}(#t161.{core::MapEntry::key}{core::String*}, #t161.{core::MapEntry::value}{dynamic}){(core::String*, dynamic) →* void}; |
| } |
| } |
| #t160.{core::Map::[]=}{Invariant}("baz", null){(core::String*, dynamic) →* void}; |
| } =>#t160; |
| core::List<core::List<core::int*>*>* list22 = block { |
| final core::List<core::List<core::int*>*>* #t162 = core::_GrowableList::•<core::List<core::int*>*>(0); |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| #t162.{core::List::addAll}{Invariant}(core::_GrowableList::_literal1<core::List<core::int*>*>(core::_GrowableList::_literal1<core::int*>(42))){(core::Iterable<core::List<core::int*>*>*) →* void}; |
| } =>#t162; |
| core::Set<core::List<core::int*>*>* set22 = block { |
| final core::Set<core::List<core::int*>*>* #t163 = new col::_CompactLinkedHashSet::•<core::List<core::int*>*>(); |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| #t163.{core::Set::addAll}{Invariant}(core::_GrowableList::_literal1<core::List<core::int*>*>(core::_GrowableList::_literal1<core::int*>(42))){(core::Iterable<core::List<core::int*>*>*) →* void}; |
| #t163.{core::Set::add}{Invariant}(null){(core::List<core::int*>*) →* core::bool*}; |
| } =>#t163; |
| core::Map<core::String*, core::List<core::int*>*>* map22 = block { |
| final core::Map<core::String*, core::List<core::int*>*>* #t164 = <core::String*, core::List<core::int*>*>{}; |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) { |
| core::Iterator<core::MapEntry<core::String*, core::List<core::int*>*>>* :sync-for-iterator = <core::String*, core::List<core::int*>*>{"bar": core::_GrowableList::_literal1<core::int*>(42)}.{core::Map::entries}{core::Iterable<core::MapEntry<core::String*, core::List<core::int*>*>>}.{core::Iterable::iterator}{core::Iterator<core::MapEntry<core::String*, core::List<core::int*>*>>*}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final core::MapEntry<core::String*, core::List<core::int*>*>* #t165 = :sync-for-iterator.{core::Iterator::current}{core::MapEntry<core::String*, core::List<core::int*>*>}; |
| #t164.{core::Map::[]=}{Invariant}(#t165.{core::MapEntry::key}{core::String*}, #t165.{core::MapEntry::value}{core::List<core::int*>*}){(core::String*, core::List<core::int*>*) →* void}; |
| } |
| } |
| #t164.{core::Map::[]=}{Invariant}("baz", null){(core::String*, core::List<core::int*>*) →* void}; |
| } =>#t164; |
| core::List<core::int*>* list30 = block { |
| final core::List<core::int*>* #t166 = core::_GrowableList::•<core::int*>(0); |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| if(self::oracle<dynamic>() as{TypeError,ForDynamic} core::bool*) |
| #t166.{core::List::addAll}{Invariant}(core::_GrowableList::_literal1<core::int*>(42)){(core::Iterable<core::int*>*) →* void}; |
| } =>#t166; |
| core::Set<core::int*>* set30 = block { |
| final core::Set<core::int*>* #t167 = new col::_CompactLinkedHashSet::•<core::int*>(); |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| if(self::oracle<dynamic>() as{TypeError,ForDynamic} core::bool*) |
| #t167.{core::Set::addAll}{Invariant}(core::_GrowableList::_literal1<core::int*>(42)){(core::Iterable<core::int*>*) →* void}; |
| #t167.{core::Set::add}{Invariant}(null){(core::int*) →* core::bool*}; |
| } =>#t167; |
| core::Map<core::String*, core::int*>* map30 = block { |
| final core::Map<core::String*, core::int*>* #t168 = <core::String*, core::int*>{}; |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| if(self::oracle<dynamic>() as{TypeError,ForDynamic} core::bool*) { |
| core::Iterator<core::MapEntry<core::String*, core::int*>>* :sync-for-iterator = <core::String*, core::int*>{"bar": 42}.{core::Map::entries}{core::Iterable<core::MapEntry<core::String*, core::int*>>}.{core::Iterable::iterator}{core::Iterator<core::MapEntry<core::String*, core::int*>>*}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final core::MapEntry<core::String*, core::int*>* #t169 = :sync-for-iterator.{core::Iterator::current}{core::MapEntry<core::String*, core::int*>}; |
| #t168.{core::Map::[]=}{Invariant}(#t169.{core::MapEntry::key}{core::String*}, #t169.{core::MapEntry::value}{core::int*}){(core::String*, core::int*) →* void}; |
| } |
| } |
| #t168.{core::Map::[]=}{Invariant}("baz", null){(core::String*, core::int*) →* void}; |
| } =>#t168; |
| core::List<dynamic>* list31 = block { |
| final core::List<dynamic>* #t170 = core::_GrowableList::•<dynamic>(0); |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| if(self::oracle<dynamic>() as{TypeError,ForDynamic} core::bool*) |
| #t170.{core::List::addAll}{Invariant}(core::_GrowableList::_literal1<dynamic>(dynVar)){(core::Iterable<dynamic>*) →* void}; |
| } =>#t170; |
| core::Set<dynamic>* set31 = block { |
| final core::Set<dynamic>* #t171 = new col::_CompactLinkedHashSet::•<dynamic>(); |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| if(self::oracle<dynamic>() as{TypeError,ForDynamic} core::bool*) |
| #t171.{core::Set::addAll}{Invariant}(core::_GrowableList::_literal1<dynamic>(dynVar)){(core::Iterable<dynamic>*) →* void}; |
| #t171.{core::Set::add}{Invariant}(null){(dynamic) →* core::bool*}; |
| } =>#t171; |
| core::Map<core::String*, dynamic>* map31 = block { |
| final core::Map<core::String*, dynamic>* #t172 = <core::String*, dynamic>{}; |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| if(self::oracle<dynamic>() as{TypeError,ForDynamic} core::bool*) { |
| core::Iterator<core::MapEntry<core::String*, dynamic>>* :sync-for-iterator = <core::String*, dynamic>{"bar": dynVar}.{core::Map::entries}{core::Iterable<core::MapEntry<core::String*, dynamic>>}.{core::Iterable::iterator}{core::Iterator<core::MapEntry<core::String*, dynamic>>*}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final core::MapEntry<core::String*, dynamic>* #t173 = :sync-for-iterator.{core::Iterator::current}{core::MapEntry<core::String*, dynamic>}; |
| #t172.{core::Map::[]=}{Invariant}(#t173.{core::MapEntry::key}{core::String*}, #t173.{core::MapEntry::value}{dynamic}){(core::String*, dynamic) →* void}; |
| } |
| } |
| #t172.{core::Map::[]=}{Invariant}("baz", null){(core::String*, dynamic) →* void}; |
| } =>#t172; |
| core::List<core::List<core::int*>*>* list33 = block { |
| final core::List<core::List<core::int*>*>* #t174 = core::_GrowableList::•<core::List<core::int*>*>(0); |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| if(self::oracle<dynamic>() as{TypeError,ForDynamic} core::bool*) |
| #t174.{core::List::addAll}{Invariant}(core::_GrowableList::_literal1<core::List<core::int*>*>(core::_GrowableList::_literal1<core::int*>(42))){(core::Iterable<core::List<core::int*>*>*) →* void}; |
| } =>#t174; |
| core::Set<core::List<core::int*>*>* set33 = block { |
| final core::Set<core::List<core::int*>*>* #t175 = new col::_CompactLinkedHashSet::•<core::List<core::int*>*>(); |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| if(self::oracle<dynamic>() as{TypeError,ForDynamic} core::bool*) |
| #t175.{core::Set::addAll}{Invariant}(core::_GrowableList::_literal1<core::List<core::int*>*>(core::_GrowableList::_literal1<core::int*>(42))){(core::Iterable<core::List<core::int*>*>*) →* void}; |
| #t175.{core::Set::add}{Invariant}(null){(core::List<core::int*>*) →* core::bool*}; |
| } =>#t175; |
| core::Map<core::String*, core::List<core::int*>*>* map33 = block { |
| final core::Map<core::String*, core::List<core::int*>*>* #t176 = <core::String*, core::List<core::int*>*>{}; |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| if(self::oracle<dynamic>() as{TypeError,ForDynamic} core::bool*) { |
| core::Iterator<core::MapEntry<core::String*, core::List<core::int*>*>>* :sync-for-iterator = <core::String*, core::List<core::int*>*>{"bar": core::_GrowableList::_literal1<core::int*>(42)}.{core::Map::entries}{core::Iterable<core::MapEntry<core::String*, core::List<core::int*>*>>}.{core::Iterable::iterator}{core::Iterator<core::MapEntry<core::String*, core::List<core::int*>*>>*}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final core::MapEntry<core::String*, core::List<core::int*>*>* #t177 = :sync-for-iterator.{core::Iterator::current}{core::MapEntry<core::String*, core::List<core::int*>*>}; |
| #t176.{core::Map::[]=}{Invariant}(#t177.{core::MapEntry::key}{core::String*}, #t177.{core::MapEntry::value}{core::List<core::int*>*}){(core::String*, core::List<core::int*>*) →* void}; |
| } |
| } |
| #t176.{core::Map::[]=}{Invariant}("baz", null){(core::String*, core::List<core::int*>*) →* void}; |
| } =>#t176; |
| core::List<core::List<core::int*>*>* list40 = block { |
| final core::List<core::List<core::int*>*>* #t178 = core::_GrowableList::•<core::List<core::int*>*>(0); |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| #t178.{core::List::addAll}{Invariant}(core::_GrowableList::_literal1<core::List<core::int*>*>(core::_GrowableList::•<core::int*>(0))){(core::Iterable<core::List<core::int*>*>*) →* void}; |
| } =>#t178; |
| core::Set<core::List<core::int*>*>* set40 = block { |
| final core::Set<core::List<core::int*>*>* #t179 = new col::_CompactLinkedHashSet::•<core::List<core::int*>*>(); |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| #t179.{core::Set::addAll}{Invariant}(core::_GrowableList::_literal1<core::List<core::int*>*>(core::_GrowableList::•<core::int*>(0))){(core::Iterable<core::List<core::int*>*>*) →* void}; |
| #t179.{core::Set::add}{Invariant}(null){(core::List<core::int*>*) →* core::bool*}; |
| } =>#t179; |
| core::Map<core::String*, core::List<core::int*>*>* map40 = block { |
| final core::Map<core::String*, core::List<core::int*>*>* #t180 = <core::String*, core::List<core::int*>*>{}; |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) { |
| core::Iterator<core::MapEntry<core::String*, core::List<core::int*>*>>* :sync-for-iterator = <core::String*, core::List<core::int*>*>{"bar": core::_GrowableList::•<core::int*>(0)}.{core::Map::entries}{core::Iterable<core::MapEntry<core::String*, core::List<core::int*>*>>}.{core::Iterable::iterator}{core::Iterator<core::MapEntry<core::String*, core::List<core::int*>*>>*}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final core::MapEntry<core::String*, core::List<core::int*>*>* #t181 = :sync-for-iterator.{core::Iterator::current}{core::MapEntry<core::String*, core::List<core::int*>*>}; |
| #t180.{core::Map::[]=}{Invariant}(#t181.{core::MapEntry::key}{core::String*}, #t181.{core::MapEntry::value}{core::List<core::int*>*}){(core::String*, core::List<core::int*>*) →* void}; |
| } |
| } |
| #t180.{core::Map::[]=}{Invariant}("baz", null){(core::String*, core::List<core::int*>*) →* void}; |
| } =>#t180; |
| core::List<core::List<core::int*>*>* list41 = block { |
| final core::List<core::List<core::int*>*>* #t182 = core::_GrowableList::•<core::List<core::int*>*>(0); |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| #t182.{core::List::addAll}{Invariant}( block { |
| final core::Set<core::List<core::int*>*>* #t183 = new col::_CompactLinkedHashSet::•<core::List<core::int*>*>(); |
| #t183.{core::Set::add}{Invariant}(core::_GrowableList::•<core::int*>(0)){(core::List<core::int*>*) →* core::bool*}; |
| } =>#t183){(core::Iterable<core::List<core::int*>*>*) →* void}; |
| } =>#t182; |
| core::Set<core::List<core::int*>*>* set41 = block { |
| final core::Set<core::List<core::int*>*>* #t184 = new col::_CompactLinkedHashSet::•<core::List<core::int*>*>(); |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| #t184.{core::Set::addAll}{Invariant}( block { |
| final core::Set<core::List<core::int*>*>* #t185 = new col::_CompactLinkedHashSet::•<core::List<core::int*>*>(); |
| #t185.{core::Set::add}{Invariant}(core::_GrowableList::•<core::int*>(0)){(core::List<core::int*>*) →* core::bool*}; |
| } =>#t185){(core::Iterable<core::List<core::int*>*>*) →* void}; |
| #t184.{core::Set::add}{Invariant}(null){(core::List<core::int*>*) →* core::bool*}; |
| } =>#t184; |
| core::List<core::List<core::int*>*>* list42 = block { |
| final core::List<core::List<core::int*>*>* #t186 = core::_GrowableList::•<core::List<core::int*>*>(0); |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| if(self::oracle<dynamic>() as{TypeError,ForDynamic} core::bool*) |
| #t186.{core::List::addAll}{Invariant}(core::_GrowableList::_literal1<core::List<core::int*>*>(core::_GrowableList::•<core::int*>(0))){(core::Iterable<core::List<core::int*>*>*) →* void}; |
| } =>#t186; |
| core::Set<core::List<core::int*>*>* set42 = block { |
| final core::Set<core::List<core::int*>*>* #t187 = new col::_CompactLinkedHashSet::•<core::List<core::int*>*>(); |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| if(self::oracle<dynamic>() as{TypeError,ForDynamic} core::bool*) |
| #t187.{core::Set::addAll}{Invariant}(core::_GrowableList::_literal1<core::List<core::int*>*>(core::_GrowableList::•<core::int*>(0))){(core::Iterable<core::List<core::int*>*>*) →* void}; |
| #t187.{core::Set::add}{Invariant}(null){(core::List<core::int*>*) →* core::bool*}; |
| } =>#t187; |
| core::Map<core::String*, core::List<core::int*>*>* map42 = block { |
| final core::Map<core::String*, core::List<core::int*>*>* #t188 = <core::String*, core::List<core::int*>*>{}; |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| if(self::oracle<dynamic>() as{TypeError,ForDynamic} core::bool*) { |
| core::Iterator<core::MapEntry<core::String*, core::List<core::int*>*>>* :sync-for-iterator = <core::String*, core::List<core::int*>*>{"bar": core::_GrowableList::•<core::int*>(0)}.{core::Map::entries}{core::Iterable<core::MapEntry<core::String*, core::List<core::int*>*>>}.{core::Iterable::iterator}{core::Iterator<core::MapEntry<core::String*, core::List<core::int*>*>>*}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final core::MapEntry<core::String*, core::List<core::int*>*>* #t189 = :sync-for-iterator.{core::Iterator::current}{core::MapEntry<core::String*, core::List<core::int*>*>}; |
| #t188.{core::Map::[]=}{Invariant}(#t189.{core::MapEntry::key}{core::String*}, #t189.{core::MapEntry::value}{core::List<core::int*>*}){(core::String*, core::List<core::int*>*) →* void}; |
| } |
| } |
| #t188.{core::Map::[]=}{Invariant}("baz", null){(core::String*, core::List<core::int*>*) →* void}; |
| } =>#t188; |
| core::List<core::int*>* list50 = block { |
| final core::List<core::int*>* #t190 = core::_GrowableList::•<core::int*>(0); |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| #t190.{core::List::addAll}{Invariant}(core::_GrowableList::•<core::int*>(0)){(core::Iterable<core::int*>*) →* void}; |
| } =>#t190; |
| core::Set<core::int*>* set50 = block { |
| final core::Set<core::int*>* #t191 = new col::_CompactLinkedHashSet::•<core::int*>(); |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| #t191.{core::Set::addAll}{Invariant}(core::_GrowableList::•<core::int*>(0)){(core::Iterable<core::int*>*) →* void}; |
| #t191.{core::Set::add}{Invariant}(null){(core::int*) →* core::bool*}; |
| } =>#t191; |
| core::Map<core::String*, core::int*>* map50 = block { |
| final core::Map<core::String*, core::int*>* #t192 = <core::String*, core::int*>{}; |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) { |
| core::Iterator<core::MapEntry<core::String*, core::int*>>* :sync-for-iterator = <core::String*, core::int*>{}.{core::Map::entries}{core::Iterable<core::MapEntry<core::String*, core::int*>>}.{core::Iterable::iterator}{core::Iterator<core::MapEntry<core::String*, core::int*>>*}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final core::MapEntry<core::String*, core::int*>* #t193 = :sync-for-iterator.{core::Iterator::current}{core::MapEntry<core::String*, core::int*>}; |
| #t192.{core::Map::[]=}{Invariant}(#t193.{core::MapEntry::key}{core::String*}, #t193.{core::MapEntry::value}{core::int*}){(core::String*, core::int*) →* void}; |
| } |
| } |
| #t192.{core::Map::[]=}{Invariant}("baz", null){(core::String*, core::int*) →* void}; |
| } =>#t192; |
| core::List<core::int*>* list51 = block { |
| final core::List<core::int*>* #t194 = core::_GrowableList::•<core::int*>(0); |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| #t194.{core::List::addAll}{Invariant}( block { |
| final core::Set<core::int*>* #t195 = new col::_CompactLinkedHashSet::•<core::int*>(); |
| } =>#t195){(core::Iterable<core::int*>*) →* void}; |
| } =>#t194; |
| core::Set<core::int*>* set51 = block { |
| final core::Set<core::int*>* #t196 = new col::_CompactLinkedHashSet::•<core::int*>(); |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| #t196.{core::Set::addAll}{Invariant}( block { |
| final core::Set<core::int*>* #t197 = new col::_CompactLinkedHashSet::•<core::int*>(); |
| } =>#t197){(core::Iterable<core::int*>*) →* void}; |
| #t196.{core::Set::add}{Invariant}(null){(core::int*) →* core::bool*}; |
| } =>#t196; |
| core::List<core::int*>* list52 = block { |
| final core::List<core::int*>* #t198 = core::_GrowableList::•<core::int*>(0); |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| if(self::oracle<dynamic>() as{TypeError,ForDynamic} core::bool*) |
| #t198.{core::List::addAll}{Invariant}(core::_GrowableList::•<core::int*>(0)){(core::Iterable<core::int*>*) →* void}; |
| } =>#t198; |
| core::Set<core::int*>* set52 = block { |
| final core::Set<core::int*>* #t199 = new col::_CompactLinkedHashSet::•<core::int*>(); |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| if(self::oracle<dynamic>() as{TypeError,ForDynamic} core::bool*) |
| #t199.{core::Set::addAll}{Invariant}(core::_GrowableList::•<core::int*>(0)){(core::Iterable<core::int*>*) →* void}; |
| #t199.{core::Set::add}{Invariant}(null){(core::int*) →* core::bool*}; |
| } =>#t199; |
| core::List<core::List<core::int*>*>* list60 = block { |
| final core::List<core::List<core::int*>*>* #t200 = core::_GrowableList::•<core::List<core::int*>*>(0); |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| #t200.{core::List::addAll}{Invariant}(core::_GrowableList::_literal1<core::List<core::int*>*>(core::_GrowableList::•<core::int*>(0))){(core::Iterable<core::List<core::int*>*>*) →* void}; |
| } =>#t200; |
| core::Set<core::List<core::int*>*>* set60 = block { |
| final core::Set<core::List<core::int*>*>* #t201 = new col::_CompactLinkedHashSet::•<core::List<core::int*>*>(); |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| #t201.{core::Set::addAll}{Invariant}(core::_GrowableList::_literal1<core::List<core::int*>*>(core::_GrowableList::•<core::int*>(0))){(core::Iterable<core::List<core::int*>*>*) →* void}; |
| #t201.{core::Set::add}{Invariant}(null){(core::List<core::int*>*) →* core::bool*}; |
| } =>#t201; |
| core::Map<core::String*, core::List<core::int*>*>* map60 = block { |
| final core::Map<core::String*, core::List<core::int*>*>* #t202 = <core::String*, core::List<core::int*>*>{}; |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) { |
| core::Iterator<core::MapEntry<core::String*, core::List<core::int*>*>>* :sync-for-iterator = <core::String*, core::List<core::int*>*>{"bar": core::_GrowableList::•<core::int*>(0)}.{core::Map::entries}{core::Iterable<core::MapEntry<core::String*, core::List<core::int*>*>>}.{core::Iterable::iterator}{core::Iterator<core::MapEntry<core::String*, core::List<core::int*>*>>*}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final core::MapEntry<core::String*, core::List<core::int*>*>* #t203 = :sync-for-iterator.{core::Iterator::current}{core::MapEntry<core::String*, core::List<core::int*>*>}; |
| #t202.{core::Map::[]=}{Invariant}(#t203.{core::MapEntry::key}{core::String*}, #t203.{core::MapEntry::value}{core::List<core::int*>*}){(core::String*, core::List<core::int*>*) →* void}; |
| } |
| } |
| #t202.{core::Map::[]=}{Invariant}("baz", null){(core::String*, core::List<core::int*>*) →* void}; |
| } =>#t202; |
| core::List<core::List<core::int*>*>* list61 = block { |
| final core::List<core::List<core::int*>*>* #t204 = core::_GrowableList::•<core::List<core::int*>*>(0); |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| if(self::oracle<dynamic>() as{TypeError,ForDynamic} core::bool*) |
| #t204.{core::List::addAll}{Invariant}(core::_GrowableList::_literal1<core::List<core::int*>*>(core::_GrowableList::•<core::int*>(0))){(core::Iterable<core::List<core::int*>*>*) →* void}; |
| } =>#t204; |
| core::Set<core::List<core::int*>*>* set61 = block { |
| final core::Set<core::List<core::int*>*>* #t205 = new col::_CompactLinkedHashSet::•<core::List<core::int*>*>(); |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| if(self::oracle<dynamic>() as{TypeError,ForDynamic} core::bool*) |
| #t205.{core::Set::addAll}{Invariant}(core::_GrowableList::_literal1<core::List<core::int*>*>(core::_GrowableList::•<core::int*>(0))){(core::Iterable<core::List<core::int*>*>*) →* void}; |
| #t205.{core::Set::add}{Invariant}(null){(core::List<core::int*>*) →* core::bool*}; |
| } =>#t205; |
| core::Map<core::String*, core::List<core::int*>*>* map61 = block { |
| final core::Map<core::String*, core::List<core::int*>*>* #t206 = <core::String*, core::List<core::int*>*>{}; |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| if(self::oracle<dynamic>() as{TypeError,ForDynamic} core::bool*) { |
| core::Iterator<core::MapEntry<core::String*, core::List<core::int*>*>>* :sync-for-iterator = <core::String*, core::List<core::int*>*>{"bar": core::_GrowableList::•<core::int*>(0)}.{core::Map::entries}{core::Iterable<core::MapEntry<core::String*, core::List<core::int*>*>>}.{core::Iterable::iterator}{core::Iterator<core::MapEntry<core::String*, core::List<core::int*>*>>*}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final core::MapEntry<core::String*, core::List<core::int*>*>* #t207 = :sync-for-iterator.{core::Iterator::current}{core::MapEntry<core::String*, core::List<core::int*>*>}; |
| #t206.{core::Map::[]=}{Invariant}(#t207.{core::MapEntry::key}{core::String*}, #t207.{core::MapEntry::value}{core::List<core::int*>*}){(core::String*, core::List<core::int*>*) →* void}; |
| } |
| } |
| #t206.{core::Map::[]=}{Invariant}("baz", null){(core::String*, core::List<core::int*>*) →* void}; |
| } =>#t206; |
| core::List<core::List<core::int*>*>* list70 = block { |
| final core::List<core::List<core::int*>*>* #t208 = core::_GrowableList::•<core::List<core::int*>*>(0); |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| #t208.{core::List::add}{Invariant}(core::_GrowableList::•<core::int*>(0)){(core::List<core::int*>*) →* void}; |
| } =>#t208; |
| core::Set<core::List<core::int*>*>* set70 = block { |
| final core::Set<core::List<core::int*>*>* #t209 = new col::_CompactLinkedHashSet::•<core::List<core::int*>*>(); |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| #t209.{core::Set::add}{Invariant}(core::_GrowableList::•<core::int*>(0)){(core::List<core::int*>*) →* core::bool*}; |
| #t209.{core::Set::add}{Invariant}(null){(core::List<core::int*>*) →* core::bool*}; |
| } =>#t209; |
| core::Map<core::String*, core::List<core::int*>*>* map70 = block { |
| final core::Map<core::String*, core::List<core::int*>*>* #t210 = <core::String*, core::List<core::int*>*>{}; |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| #t210.{core::Map::[]=}{Invariant}("bar", core::_GrowableList::•<core::int*>(0)){(core::String*, core::List<core::int*>*) →* void}; |
| #t210.{core::Map::[]=}{Invariant}("baz", null){(core::String*, core::List<core::int*>*) →* void}; |
| } =>#t210; |
| core::List<core::List<core::int*>*>* list71 = block { |
| final core::List<core::List<core::int*>*>* #t211 = core::_GrowableList::•<core::List<core::int*>*>(0); |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| if(self::oracle<dynamic>() as{TypeError,ForDynamic} core::bool*) |
| #t211.{core::List::add}{Invariant}(core::_GrowableList::•<core::int*>(0)){(core::List<core::int*>*) →* void}; |
| } =>#t211; |
| core::Set<core::List<core::int*>*>* set71 = block { |
| final core::Set<core::List<core::int*>*>* #t212 = new col::_CompactLinkedHashSet::•<core::List<core::int*>*>(); |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| if(self::oracle<dynamic>() as{TypeError,ForDynamic} core::bool*) |
| #t212.{core::Set::add}{Invariant}(core::_GrowableList::•<core::int*>(0)){(core::List<core::int*>*) →* core::bool*}; |
| #t212.{core::Set::add}{Invariant}(null){(core::List<core::int*>*) →* core::bool*}; |
| } =>#t212; |
| core::Map<core::String*, core::List<core::int*>*>* map71 = block { |
| final core::Map<core::String*, core::List<core::int*>*>* #t213 = <core::String*, core::List<core::int*>*>{}; |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| if(self::oracle<dynamic>() as{TypeError,ForDynamic} core::bool*) |
| #t213.{core::Map::[]=}{Invariant}("bar", core::_GrowableList::•<core::int*>(0)){(core::String*, core::List<core::int*>*) →* void}; |
| #t213.{core::Map::[]=}{Invariant}("baz", null){(core::String*, core::List<core::int*>*) →* void}; |
| } =>#t213; |
| core::List<core::num*>* list80 = block { |
| final core::List<core::num*>* #t214 = core::_GrowableList::•<core::num*>(0); |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| if(self::oracle<dynamic>() as{TypeError,ForDynamic} core::bool*) |
| #t214.{core::List::add}{Invariant}(42){(core::num*) →* void}; |
| else |
| #t214.{core::List::add}{Invariant}(3.14){(core::num*) →* void}; |
| } =>#t214; |
| core::Set<core::num*>* set80 = block { |
| final core::Set<core::num*>* #t215 = new col::_CompactLinkedHashSet::•<core::num*>(); |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| if(self::oracle<dynamic>() as{TypeError,ForDynamic} core::bool*) |
| #t215.{core::Set::add}{Invariant}(42){(core::num*) →* core::bool*}; |
| else |
| #t215.{core::Set::add}{Invariant}(3.14){(core::num*) →* core::bool*}; |
| #t215.{core::Set::add}{Invariant}(null){(core::num*) →* core::bool*}; |
| } =>#t215; |
| core::Map<core::String*, core::num*>* map80 = block { |
| final core::Map<core::String*, core::num*>* #t216 = <core::String*, core::num*>{}; |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| if(self::oracle<dynamic>() as{TypeError,ForDynamic} core::bool*) |
| #t216.{core::Map::[]=}{Invariant}("bar", 42){(core::String*, core::num*) →* void}; |
| else |
| #t216.{core::Map::[]=}{Invariant}("bar", 3.14){(core::String*, core::num*) →* void}; |
| #t216.{core::Map::[]=}{Invariant}("baz", null){(core::String*, core::num*) →* void}; |
| } =>#t216; |
| core::List<core::num*>* list81 = block { |
| final core::List<core::num*>* #t217 = core::_GrowableList::•<core::num*>(0); |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| if(self::oracle<dynamic>() as{TypeError,ForDynamic} core::bool*) |
| #t217.{core::List::addAll}{Invariant}(listInt){(core::Iterable<core::num*>*) →* void}; |
| else |
| #t217.{core::List::addAll}{Invariant}(listDouble){(core::Iterable<core::num*>*) →* void}; |
| } =>#t217; |
| core::Set<core::num*>* set81 = block { |
| final core::Set<core::num*>* #t218 = new col::_CompactLinkedHashSet::•<core::num*>(); |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| if(self::oracle<dynamic>() as{TypeError,ForDynamic} core::bool*) |
| #t218.{core::Set::addAll}{Invariant}(listInt){(core::Iterable<core::num*>*) →* void}; |
| else |
| #t218.{core::Set::addAll}{Invariant}(listDouble){(core::Iterable<core::num*>*) →* void}; |
| #t218.{core::Set::add}{Invariant}(null){(core::num*) →* core::bool*}; |
| } =>#t218; |
| core::Map<core::String*, core::num*>* map81 = block { |
| final core::Map<core::String*, core::num*>* #t219 = <core::String*, core::num*>{}; |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| if(self::oracle<dynamic>() as{TypeError,ForDynamic} core::bool*) { |
| core::Iterator<core::MapEntry<core::String*, core::num*>>* :sync-for-iterator = mapStringInt.{core::Map::entries}{core::Iterable<core::MapEntry<core::String*, core::num*>>}.{core::Iterable::iterator}{core::Iterator<core::MapEntry<core::String*, core::num*>>*}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final core::MapEntry<core::String*, core::num*>* #t220 = :sync-for-iterator.{core::Iterator::current}{core::MapEntry<core::String*, core::num*>}; |
| #t219.{core::Map::[]=}{Invariant}(#t220.{core::MapEntry::key}{core::String*}, #t220.{core::MapEntry::value}{core::num*}){(core::String*, core::num*) →* void}; |
| } |
| } |
| else { |
| core::Iterator<core::MapEntry<core::String*, core::num*>>* :sync-for-iterator = mapStringDouble.{core::Map::entries}{core::Iterable<core::MapEntry<core::String*, core::num*>>}.{core::Iterable::iterator}{core::Iterator<core::MapEntry<core::String*, core::num*>>*}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final core::MapEntry<core::String*, core::num*>* #t221 = :sync-for-iterator.{core::Iterator::current}{core::MapEntry<core::String*, core::num*>}; |
| #t219.{core::Map::[]=}{Invariant}(#t221.{core::MapEntry::key}{core::String*}, #t221.{core::MapEntry::value}{core::num*}){(core::String*, core::num*) →* void}; |
| } |
| } |
| #t219.{core::Map::[]=}{Invariant}("baz", null){(core::String*, core::num*) →* void}; |
| } =>#t219; |
| core::List<dynamic>* list82 = block { |
| final core::List<dynamic>* #t222 = core::_GrowableList::•<dynamic>(0); |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| if(self::oracle<dynamic>() as{TypeError,ForDynamic} core::bool*) |
| #t222.{core::List::addAll}{Invariant}(listInt){(core::Iterable<dynamic>*) →* void}; |
| else |
| #t222.{core::List::addAll}{Invariant}(dynVar as{TypeError,ForDynamic} core::Iterable<dynamic>*){(core::Iterable<dynamic>*) →* void}; |
| } =>#t222; |
| core::Set<dynamic>* set82 = block { |
| final core::Set<dynamic>* #t223 = new col::_CompactLinkedHashSet::•<dynamic>(); |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| if(self::oracle<dynamic>() as{TypeError,ForDynamic} core::bool*) |
| #t223.{core::Set::addAll}{Invariant}(listInt){(core::Iterable<dynamic>*) →* void}; |
| else |
| #t223.{core::Set::addAll}{Invariant}(dynVar as{TypeError,ForDynamic} core::Iterable<dynamic>*){(core::Iterable<dynamic>*) →* void}; |
| #t223.{core::Set::add}{Invariant}(null){(dynamic) →* core::bool*}; |
| } =>#t223; |
| core::Map<dynamic, dynamic>* map82 = block { |
| final core::Map<dynamic, dynamic>* #t224 = <dynamic, dynamic>{}; |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| if(self::oracle<dynamic>() as{TypeError,ForDynamic} core::bool*) { |
| core::Iterator<core::MapEntry<dynamic, dynamic>>* :sync-for-iterator = mapStringInt.{core::Map::entries}{core::Iterable<core::MapEntry<dynamic, dynamic>>}.{core::Iterable::iterator}{core::Iterator<core::MapEntry<dynamic, dynamic>>*}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final core::MapEntry<dynamic, dynamic>* #t225 = :sync-for-iterator.{core::Iterator::current}{core::MapEntry<dynamic, dynamic>}; |
| #t224.{core::Map::[]=}{Invariant}(#t225.{core::MapEntry::key}{dynamic}, #t225.{core::MapEntry::value}{dynamic}){(dynamic, dynamic) →* void}; |
| } |
| } |
| else { |
| core::Iterator<core::MapEntry<dynamic, dynamic>>* :sync-for-iterator = (dynVar as{TypeError,ForDynamic} core::Map<dynamic, dynamic>*).{core::Map::entries}{core::Iterable<core::MapEntry<dynamic, dynamic>>}.{core::Iterable::iterator}{core::Iterator<core::MapEntry<dynamic, dynamic>>*}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final core::MapEntry<dynamic, dynamic>* #t226 = :sync-for-iterator.{core::Iterator::current}{core::MapEntry<dynamic, dynamic>}; |
| #t224.{core::Map::[]=}{Invariant}(#t226.{core::MapEntry::key}{dynamic}, #t226.{core::MapEntry::value}{dynamic}){(dynamic, dynamic) →* void}; |
| } |
| } |
| #t224.{core::Map::[]=}{Invariant}("baz", null){(dynamic, dynamic) →* void}; |
| } =>#t224; |
| core::List<core::num*>* list83 = block { |
| final core::List<core::num*>* #t227 = core::_GrowableList::•<core::num*>(0); |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| if(self::oracle<dynamic>() as{TypeError,ForDynamic} core::bool*) |
| #t227.{core::List::add}{Invariant}(42){(core::num*) →* void}; |
| else |
| #t227.{core::List::addAll}{Invariant}(listDouble){(core::Iterable<core::num*>*) →* void}; |
| } =>#t227; |
| core::Set<core::num*>* set83 = block { |
| final core::Set<core::num*>* #t228 = new col::_CompactLinkedHashSet::•<core::num*>(); |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| if(self::oracle<dynamic>() as{TypeError,ForDynamic} core::bool*) |
| #t228.{core::Set::addAll}{Invariant}(listInt){(core::Iterable<core::num*>*) →* void}; |
| else |
| #t228.{core::Set::add}{Invariant}(3.14){(core::num*) →* core::bool*}; |
| #t228.{core::Set::add}{Invariant}(null){(core::num*) →* core::bool*}; |
| } =>#t228; |
| core::Map<core::String*, core::num*>* map83 = block { |
| final core::Map<core::String*, core::num*>* #t229 = <core::String*, core::num*>{}; |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| if(self::oracle<dynamic>() as{TypeError,ForDynamic} core::bool*) { |
| core::Iterator<core::MapEntry<core::String*, core::num*>>* :sync-for-iterator = mapStringInt.{core::Map::entries}{core::Iterable<core::MapEntry<core::String*, core::num*>>}.{core::Iterable::iterator}{core::Iterator<core::MapEntry<core::String*, core::num*>>*}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final core::MapEntry<core::String*, core::num*>* #t230 = :sync-for-iterator.{core::Iterator::current}{core::MapEntry<core::String*, core::num*>}; |
| #t229.{core::Map::[]=}{Invariant}(#t230.{core::MapEntry::key}{core::String*}, #t230.{core::MapEntry::value}{core::num*}){(core::String*, core::num*) →* void}; |
| } |
| } |
| else |
| #t229.{core::Map::[]=}{Invariant}("bar", 3.14){(core::String*, core::num*) →* void}; |
| #t229.{core::Map::[]=}{Invariant}("baz", null){(core::String*, core::num*) →* void}; |
| } =>#t229; |
| core::List<core::int*>* list90 = block { |
| final core::List<core::int*>* #t231 = core::_GrowableList::•<core::int*>(0); |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| #t231.{core::List::add}{Invariant}(dynVar as{TypeError,ForDynamic} core::int*){(core::int*) →* void}; |
| } =>#t231; |
| core::Set<core::int*>* set90 = block { |
| final core::Set<core::int*>* #t232 = new col::_CompactLinkedHashSet::•<core::int*>(); |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| #t232.{core::Set::add}{Invariant}(dynVar as{TypeError,ForDynamic} core::int*){(core::int*) →* core::bool*}; |
| #t232.{core::Set::add}{Invariant}(null){(core::int*) →* core::bool*}; |
| } =>#t232; |
| core::Map<core::String*, core::int*>* map90 = block { |
| final core::Map<core::String*, core::int*>* #t233 = <core::String*, core::int*>{}; |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| #t233.{core::Map::[]=}{Invariant}("bar", dynVar as{TypeError,ForDynamic} core::int*){(core::String*, core::int*) →* void}; |
| #t233.{core::Map::[]=}{Invariant}("baz", null){(core::String*, core::int*) →* void}; |
| } =>#t233; |
| core::List<core::int*>* list91 = block { |
| final core::List<core::int*>* #t234 = core::_GrowableList::•<core::int*>(0); |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) { |
| core::Iterator<dynamic>* :sync-for-iterator = (dynVar as{TypeError,ForDynamic} core::Iterable<dynamic>*).{core::Iterable::iterator}{core::Iterator<dynamic>*}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final dynamic #t235 = :sync-for-iterator.{core::Iterator::current}{dynamic}; |
| { |
| final core::int* #t236 = #t235 as{TypeError} core::int*; |
| #t234.{core::List::add}{Invariant}(#t236){(core::int*) →* void}; |
| } |
| } |
| } |
| } =>#t234; |
| core::Set<core::int*>* set91 = block { |
| final core::Set<core::int*>* #t237 = new col::_CompactLinkedHashSet::•<core::int*>(); |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) { |
| core::Iterator<dynamic>* :sync-for-iterator = (dynVar as{TypeError,ForDynamic} core::Iterable<dynamic>*).{core::Iterable::iterator}{core::Iterator<dynamic>*}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final dynamic #t238 = :sync-for-iterator.{core::Iterator::current}{dynamic}; |
| { |
| final core::int* #t239 = #t238 as{TypeError} core::int*; |
| #t237.{core::Set::add}{Invariant}(#t239){(core::int*) →* core::bool*}; |
| } |
| } |
| } |
| #t237.{core::Set::add}{Invariant}(null){(core::int*) →* core::bool*}; |
| } =>#t237; |
| core::Map<core::String*, core::int*>* map91 = block { |
| final core::Map<core::String*, core::int*>* #t240 = <core::String*, core::int*>{}; |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) { |
| core::Iterator<core::MapEntry<core::String*, core::int*>>* :sync-for-iterator = (dynVar as{TypeError,ForDynamic} core::Map<dynamic, dynamic>*).{core::Map::entries}{core::Iterable<core::MapEntry<core::String*, core::int*>>}.{core::Iterable::iterator}{core::Iterator<core::MapEntry<core::String*, core::int*>>*}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final core::MapEntry<dynamic, dynamic>* #t241 = :sync-for-iterator.{core::Iterator::current}{core::MapEntry<core::String*, core::int*>}; |
| { |
| final core::String* #t242 = #t241.{core::MapEntry::key}{dynamic} as{TypeError} core::String*; |
| final core::int* #t243 = #t241.{core::MapEntry::value}{dynamic} as{TypeError} core::int*; |
| #t240.{core::Map::[]=}{Invariant}(#t242, #t243){(core::String*, core::int*) →* void}; |
| } |
| } |
| } |
| #t240.{core::Map::[]=}{Invariant}("baz", null){(core::String*, core::int*) →* void}; |
| } =>#t240; |
| core::List<core::int*>* list100 = block { |
| final core::List<core::int*>* #t244 = core::_GrowableList::•<core::int*>(0); |
| for (final core::int* #t245 = index = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; index = index.{core::num::+}(1){(core::num*) →* core::int*}) |
| #t244.{core::List::add}{Invariant}(42){(core::int*) →* void}; |
| } =>#t244; |
| core::Set<core::int*>* set100 = block { |
| final core::Set<core::int*>* #t246 = new col::_CompactLinkedHashSet::•<core::int*>(); |
| for (final core::int* #t247 = index = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; index = index.{core::num::+}(1){(core::num*) →* core::int*}) |
| #t246.{core::Set::add}{Invariant}(42){(core::int*) →* core::bool*}; |
| } =>#t246; |
| core::Map<core::String*, core::int*>* map100 = block { |
| final core::Map<core::String*, core::int*>* #t248 = <core::String*, core::int*>{}; |
| for (final core::int* #t249 = index = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; index = index.{core::num::+}(1){(core::num*) →* core::int*}) |
| #t248.{core::Map::[]=}{Invariant}("bar", 42){(core::String*, core::int*) →* void}; |
| } =>#t248; |
| core::List<core::int*>* list110 = block { |
| final core::List<core::int*>* #t250 = core::_GrowableList::•<core::int*>(0); |
| { |
| core::Iterator<core::int*>* :sync-for-iterator = core::_GrowableList::_literal3<core::int*>(1, 2, 3).{core::Iterable::iterator}{core::Iterator<core::int*>*}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| core::int* i = :sync-for-iterator.{core::Iterator::current}{core::int*}; |
| #t250.{core::List::add}{Invariant}(i){(core::int*) →* void}; |
| } |
| } |
| } =>#t250; |
| core::Set<core::int*>* set110 = block { |
| final core::Set<core::int*>* #t251 = new col::_CompactLinkedHashSet::•<core::int*>(); |
| { |
| core::Iterator<core::int*>* :sync-for-iterator = core::_GrowableList::_literal3<core::int*>(1, 2, 3).{core::Iterable::iterator}{core::Iterator<core::int*>*}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| core::int* i = :sync-for-iterator.{core::Iterator::current}{core::int*}; |
| #t251.{core::Set::add}{Invariant}(i){(core::int*) →* core::bool*}; |
| } |
| } |
| #t251.{core::Set::add}{Invariant}(null){(core::int*) →* core::bool*}; |
| } =>#t251; |
| core::Map<core::String*, core::int*>* map110 = block { |
| final core::Map<core::String*, core::int*>* #t252 = <core::String*, core::int*>{}; |
| { |
| core::Iterator<core::int*>* :sync-for-iterator = core::_GrowableList::_literal3<core::int*>(1, 2, 3).{core::Iterable::iterator}{core::Iterator<core::int*>*}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| core::int* i = :sync-for-iterator.{core::Iterator::current}{core::int*}; |
| #t252.{core::Map::[]=}{Invariant}("bar", i){(core::String*, core::int*) →* void}; |
| } |
| } |
| #t252.{core::Map::[]=}{Invariant}("baz", null){(core::String*, core::int*) →* void}; |
| } =>#t252; |
| core::List<core::int*>* list120 = block { |
| final core::List<core::int*>* #t253 = core::_GrowableList::•<core::int*>(0); |
| { |
| core::Iterator<dynamic>* :sync-for-iterator = (dynVar as{TypeError,ForDynamic} core::Iterable<dynamic>*).{core::Iterable::iterator}{core::Iterator<dynamic>*}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| dynamic i = :sync-for-iterator.{core::Iterator::current}{dynamic}; |
| #t253.{core::List::add}{Invariant}(i as{TypeError,ForDynamic} core::int*){(core::int*) →* void}; |
| } |
| } |
| } =>#t253; |
| core::Set<core::int*>* set120 = block { |
| final core::Set<core::int*>* #t254 = new col::_CompactLinkedHashSet::•<core::int*>(); |
| { |
| core::Iterator<dynamic>* :sync-for-iterator = (dynVar as{TypeError,ForDynamic} core::Iterable<dynamic>*).{core::Iterable::iterator}{core::Iterator<dynamic>*}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| dynamic i = :sync-for-iterator.{core::Iterator::current}{dynamic}; |
| #t254.{core::Set::add}{Invariant}(i as{TypeError,ForDynamic} core::int*){(core::int*) →* core::bool*}; |
| } |
| } |
| #t254.{core::Set::add}{Invariant}(null){(core::int*) →* core::bool*}; |
| } =>#t254; |
| core::Map<core::String*, core::int*>* map120 = block { |
| final core::Map<core::String*, core::int*>* #t255 = <core::String*, core::int*>{}; |
| { |
| core::Iterator<dynamic>* :sync-for-iterator = (dynVar as{TypeError,ForDynamic} core::Iterable<dynamic>*).{core::Iterable::iterator}{core::Iterator<dynamic>*}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| dynamic i = :sync-for-iterator.{core::Iterator::current}{dynamic}; |
| #t255.{core::Map::[]=}{Invariant}("bar", i as{TypeError,ForDynamic} core::int*){(core::String*, core::int*) →* void}; |
| } |
| } |
| #t255.{core::Map::[]=}{Invariant}("baz", null){(core::String*, core::int*) →* void}; |
| } =>#t255; |
| core::List<core::int*>* list130 = block { |
| final core::List<core::int*>* #t256 = core::_GrowableList::•<core::int*>(0); |
| for (core::int* i = 1; i.{core::num::<}(2){(core::num*) →* core::bool*}; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| #t256.{core::List::add}{Invariant}(i){(core::int*) →* void}; |
| } =>#t256; |
| core::Set<core::int*>* set130 = block { |
| final core::Set<core::int*>* #t257 = new col::_CompactLinkedHashSet::•<core::int*>(); |
| for (core::int* i = 1; i.{core::num::<}(2){(core::num*) →* core::bool*}; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| #t257.{core::Set::add}{Invariant}(i){(core::int*) →* core::bool*}; |
| } =>#t257; |
| core::Map<core::int*, core::int*>* map130 = block { |
| final core::Map<core::int*, core::int*>* #t258 = <core::int*, core::int*>{}; |
| for (core::int* i = 1; i.{core::num::<}(2){(core::num*) →* core::bool*}; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| #t258.{core::Map::[]=}{Invariant}(i, i){(core::int*, core::int*) →* void}; |
| } =>#t258; |
| } |
| static method testForElementErrors(core::Map<core::int*, core::int*>* map, core::List<core::int*>* list) → dynamic /* originally async */ { |
| final asy::_Future<dynamic>* :async_future = new asy::_Future::•<dynamic>(); |
| core::bool* :is_sync = false; |
| FutureOr<dynamic>* :return_value; |
| (dynamic) →* dynamic :async_op_then; |
| (core::Object*, core::StackTrace*) →* dynamic :async_op_error; |
| core::int* :await_jump_var = 0; |
| dynamic :await_ctx_var; |
| dynamic :saved_try_context_var0; |
| dynamic :saved_try_context_var1; |
| dynamic :exception0; |
| dynamic :stack_trace0; |
| function :async_op([dynamic :result, dynamic :exception, dynamic :stack_trace]) → dynamic yielding |
| try { |
| #L1: |
| { |
| block { |
| final core::List<core::int*>* #t259 = core::_GrowableList::•<core::int*>(0); |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| #t259.{core::List::add}{Invariant}(let final Never* #t260 = invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:210:45: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| <int>[for (int i = 0; oracle(\"foo\"); i++) \"bar\"]; |
| ^" in "bar" as{TypeError} core::int*){(core::int*) →* void}; |
| } =>#t259; |
| block { |
| final core::Set<core::int*>* #t261 = new col::_CompactLinkedHashSet::•<core::int*>(); |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| #t261.{core::Set::add}{Invariant}(let final Never* #t262 = invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:211:45: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| <int>{for (int i = 0; oracle(\"foo\"); i++) \"bar\", null}; |
| ^" in "bar" as{TypeError} core::int*){(core::int*) →* core::bool*}; |
| #t261.{core::Set::add}{Invariant}(null){(core::int*) →* core::bool*}; |
| } =>#t261; |
| block { |
| final core::Map<core::int*, core::int*>* #t263 = <core::int*, core::int*>{}; |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| #t263.{core::Map::[]=}{Invariant}(let final Never* #t264 = invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:212:50: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| <int, int>{for (int i = 0; oracle(\"foo\"); i++) \"bar\": \"bar\", \"baz\": null}; |
| ^" in "bar" as{TypeError} core::int*, let final Never* #t265 = invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:212:57: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| <int, int>{for (int i = 0; oracle(\"foo\"); i++) \"bar\": \"bar\", \"baz\": null}; |
| ^" in "bar" as{TypeError} core::int*){(core::int*, core::int*) →* void}; |
| #t263.{core::Map::[]=}{Invariant}(let final Never* #t266 = invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:212:64: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| <int, int>{for (int i = 0; oracle(\"foo\"); i++) \"bar\": \"bar\", \"baz\": null}; |
| ^" in "baz" as{TypeError} core::int*, null){(core::int*, core::int*) →* void}; |
| } =>#t263; |
| block { |
| final core::List<core::int*>* #t267 = core::_GrowableList::•<core::int*>(0); |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| #t267.{core::List::addAll}{Invariant}(core::_GrowableList::_literal1<core::int*>(let final Never* #t268 = invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:213:49: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| <int>[for (int i = 0; oracle(\"foo\"); i++) ...[\"bar\"]]; |
| ^" in "bar" as{TypeError} core::int*)){(core::Iterable<core::int*>*) →* void}; |
| } =>#t267; |
| block { |
| final core::Set<core::int*>* #t269 = new col::_CompactLinkedHashSet::•<core::int*>(); |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| #t269.{core::Set::addAll}{Invariant}(core::_GrowableList::_literal1<core::int*>(let final Never* #t270 = invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:214:49: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| <int>{for (int i = 0; oracle(\"foo\"); i++) ...[\"bar\"], null}; |
| ^" in "bar" as{TypeError} core::int*)){(core::Iterable<core::int*>*) →* void}; |
| #t269.{core::Set::add}{Invariant}(null){(core::int*) →* core::bool*}; |
| } =>#t269; |
| block { |
| final core::Map<core::int*, core::int*>* #t271 = <core::int*, core::int*>{}; |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) { |
| core::Iterator<core::MapEntry<core::int*, core::int*>>* :sync-for-iterator = <core::int*, core::int*>{let final Never* #t272 = invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:215:54: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| <int, int>{for (int i = 0; oracle(\"foo\"); i++) ...{\"bar\": \"bar\"}, \"baz\": null}; |
| ^" in "bar" as{TypeError} core::int*: let final Never* #t273 = invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:215:61: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| <int, int>{for (int i = 0; oracle(\"foo\"); i++) ...{\"bar\": \"bar\"}, \"baz\": null}; |
| ^" in "bar" as{TypeError} core::int*}.{core::Map::entries}{core::Iterable<core::MapEntry<core::int*, core::int*>>}.{core::Iterable::iterator}{core::Iterator<core::MapEntry<core::int*, core::int*>>*}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final core::MapEntry<core::int*, core::int*>* #t274 = :sync-for-iterator.{core::Iterator::current}{core::MapEntry<core::int*, core::int*>}; |
| #t271.{core::Map::[]=}{Invariant}(#t274.{core::MapEntry::key}{core::int*}, #t274.{core::MapEntry::value}{core::int*}){(core::int*, core::int*) →* void}; |
| } |
| } |
| #t271.{core::Map::[]=}{Invariant}(let final Never* #t275 = invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:215:69: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| <int, int>{for (int i = 0; oracle(\"foo\"); i++) ...{\"bar\": \"bar\"}, \"baz\": null}; |
| ^" in "baz" as{TypeError} core::int*, null){(core::int*, core::int*) →* void}; |
| } =>#t271; |
| block { |
| final core::List<core::int*>* #t276 = core::_GrowableList::•<core::int*>(0); |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| #t276.{core::List::add}{Invariant}(invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:216:48: Error: Unexpected type 'Map<int, int>' of a spread. Expected 'dynamic' or an Iterable. |
| - 'Map' is from 'dart:core'. |
| <int>[for (int i = 0; oracle(\"foo\"); i++) ...map]; |
| ^"){(core::int*) →* void}; |
| } =>#t276; |
| block { |
| final core::Set<core::int*>* #t277 = new col::_CompactLinkedHashSet::•<core::int*>(); |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| #t277.{core::Set::add}{Invariant}(invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:217:48: Error: Unexpected type 'Map<int, int>' of a spread. Expected 'dynamic' or an Iterable. |
| - 'Map' is from 'dart:core'. |
| <int>{for (int i = 0; oracle(\"foo\"); i++) ...map, null}; |
| ^"){(core::int*) →* core::bool*}; |
| #t277.{core::Set::add}{Invariant}(null){(core::int*) →* core::bool*}; |
| } =>#t277; |
| <core::int*, core::int*>{invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:218:53: Error: Unexpected type 'List<int>' of a map spread entry. Expected 'dynamic' or a Map. |
| - 'List' is from 'dart:core'. |
| <int, int>{for (int i = 0; oracle(\"foo\"); i++) ...list, 42: null}; |
| ^": null, invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:218:53: Error: Unexpected type 'List<int>' of a map spread entry. Expected 'dynamic' or a Map. |
| - 'List' is from 'dart:core'. |
| <int, int>{for (int i = 0; oracle(\"foo\"); i++) ...list, 42: null}; |
| ^": null}; |
| block { |
| final core::List<core::String*>* #t278 = core::_GrowableList::•<core::String*>(0); |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| if(self::oracle<dynamic>() as{TypeError,ForDynamic} core::bool*) |
| #t278.{core::List::add}{Invariant}(let final Never* #t279 = invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:219:62: Error: A value of type 'int' can't be assigned to a variable of type 'String'. |
| <String>[for (int i = 0; oracle(\"foo\"); i++) if (oracle()) 42 else 3.14]; |
| ^" in 42 as{TypeError} core::String*){(core::String*) →* void}; |
| else |
| #t278.{core::List::add}{Invariant}(let final Never* #t280 = invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:219:70: Error: A value of type 'double' can't be assigned to a variable of type 'String'. |
| <String>[for (int i = 0; oracle(\"foo\"); i++) if (oracle()) 42 else 3.14]; |
| ^" in 3.14 as{TypeError} core::String*){(core::String*) →* void}; |
| } =>#t278; |
| block { |
| final core::Set<core::String*>* #t281 = new col::_CompactLinkedHashSet::•<core::String*>(); |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| if(self::oracle<dynamic>() as{TypeError,ForDynamic} core::bool*) |
| #t281.{core::Set::add}{Invariant}(let final Never* #t282 = invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:220:62: Error: A value of type 'int' can't be assigned to a variable of type 'String'. |
| <String>{for (int i = 0; oracle(\"foo\"); i++) if (oracle()) 42 else 3.14, null}; |
| ^" in 42 as{TypeError} core::String*){(core::String*) →* core::bool*}; |
| else |
| #t281.{core::Set::add}{Invariant}(let final Never* #t283 = invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:220:70: Error: A value of type 'double' can't be assigned to a variable of type 'String'. |
| <String>{for (int i = 0; oracle(\"foo\"); i++) if (oracle()) 42 else 3.14, null}; |
| ^" in 3.14 as{TypeError} core::String*){(core::String*) →* core::bool*}; |
| #t281.{core::Set::add}{Invariant}(null){(core::String*) →* core::bool*}; |
| } =>#t281; |
| block { |
| final core::Map<core::String*, core::String*>* #t284 = <core::String*, core::String*>{}; |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| if(self::oracle<dynamic>() as{TypeError,ForDynamic} core::bool*) |
| #t284.{core::Map::[]=}{Invariant}("bar", let final Never* #t285 = invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:221:77: Error: A value of type 'int' can't be assigned to a variable of type 'String'. |
| <String, String>{for (int i = 0; oracle(\"foo\"); i++) if (oracle()) \"bar\": 42 else \"bar\": 3.14, \"baz\": null}; |
| ^" in 42 as{TypeError} core::String*){(core::String*, core::String*) →* void}; |
| else |
| #t284.{core::Map::[]=}{Invariant}("bar", let final Never* #t286 = invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:221:92: Error: A value of type 'double' can't be assigned to a variable of type 'String'. |
| <String, String>{for (int i = 0; oracle(\"foo\"); i++) if (oracle()) \"bar\": 42 else \"bar\": 3.14, \"baz\": null}; |
| ^" in 3.14 as{TypeError} core::String*){(core::String*, core::String*) →* void}; |
| #t284.{core::Map::[]=}{Invariant}("baz", null){(core::String*, core::String*) →* void}; |
| } =>#t284; |
| block { |
| final core::List<core::int*>* #t287 = core::_GrowableList::•<core::int*>(0); |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| if(self::oracle<dynamic>() as{TypeError,ForDynamic} core::bool*) |
| #t287.{core::List::add}{Invariant}(invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:222:62: Error: Unexpected type 'Map<int, int>' of a spread. Expected 'dynamic' or an Iterable. |
| - 'Map' is from 'dart:core'. |
| <int>[for (int i = 0; oracle(\"foo\"); i++) if (oracle()) ...map else 42]; |
| ^"){(core::int*) →* void}; |
| else |
| #t287.{core::List::add}{Invariant}(42){(core::int*) →* void}; |
| } =>#t287; |
| block { |
| final core::Set<core::int*>* #t288 = new col::_CompactLinkedHashSet::•<core::int*>(); |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| if(self::oracle<dynamic>() as{TypeError,ForDynamic} core::bool*) |
| #t288.{core::Set::add}{Invariant}(invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:223:62: Error: Unexpected type 'Map<int, int>' of a spread. Expected 'dynamic' or an Iterable. |
| - 'Map' is from 'dart:core'. |
| <int>{for (int i = 0; oracle(\"foo\"); i++) if (oracle()) ...map else 42, null}; |
| ^"){(core::int*) →* core::bool*}; |
| else |
| #t288.{core::Set::add}{Invariant}(42){(core::int*) →* core::bool*}; |
| #t288.{core::Set::add}{Invariant}(null){(core::int*) →* core::bool*}; |
| } =>#t288; |
| <core::String*, core::int*>{invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:224:70: Error: Unexpected type 'List<int>' of a map spread entry. Expected 'dynamic' or a Map. |
| - 'List' is from 'dart:core'. |
| <String, int>{for (int i = 0; oracle(\"foo\"); i++) if (oracle()) ...list else \"bar\": 42, \"baz\": null}; |
| ^": null, invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:224:70: Error: Unexpected type 'List<int>' of a map spread entry. Expected 'dynamic' or a Map. |
| - 'List' is from 'dart:core'. |
| <String, int>{for (int i = 0; oracle(\"foo\"); i++) if (oracle()) ...list else \"bar\": 42, \"baz\": null}; |
| ^": null}; |
| block { |
| final core::List<core::int*>* #t289 = core::_GrowableList::•<core::int*>(0); |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| if(self::oracle<dynamic>() as{TypeError,ForDynamic} core::bool*) |
| #t289.{core::List::add}{Invariant}(42){(core::int*) →* void}; |
| else |
| #t289.{core::List::add}{Invariant}(invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:225:70: Error: Unexpected type 'Map<int, int>' of a spread. Expected 'dynamic' or an Iterable. |
| - 'Map' is from 'dart:core'. |
| <int>[for (int i = 0; oracle(\"foo\"); i++) if (oracle()) 42 else ...map]; |
| ^"){(core::int*) →* void}; |
| } =>#t289; |
| block { |
| final core::Set<core::int*>* #t290 = new col::_CompactLinkedHashSet::•<core::int*>(); |
| for (core::int* i = 0; self::oracle<core::String*>("foo") as{TypeError,ForDynamic} core::bool*; i = i.{core::num::+}(1){(core::num*) →* core::int*}) |
| if(self::oracle<dynamic>() as{TypeError,ForDynamic} core::bool*) |
| #t290.{core::Set::add}{Invariant}(42){(core::int*) →* core::bool*}; |
| else |
| #t290.{core::Set::add}{Invariant}(invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:226:70: Error: Unexpected type 'Map<int, int>' of a spread. Expected 'dynamic' or an Iterable. |
| - 'Map' is from 'dart:core'. |
| <int>{for (int i = 0; oracle(\"foo\"); i++) if (oracle()) 42 else ...map, null}; |
| ^"){(core::int*) →* core::bool*}; |
| #t290.{core::Set::add}{Invariant}(null){(core::int*) →* core::bool*}; |
| } =>#t290; |
| <core::String*, core::int*>{invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:227:85: Error: Unexpected type 'List<int>' of a map spread entry. Expected 'dynamic' or a Map. |
| - 'List' is from 'dart:core'. |
| <String, int>{for (int i = 0; oracle(\"foo\"); i++) if (oracle()) \"bar\": 42 else ...list, \"baz\": null}; |
| ^": null, invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:227:85: Error: Unexpected type 'List<int>' of a map spread entry. Expected 'dynamic' or a Map. |
| - 'List' is from 'dart:core'. |
| <String, int>{for (int i = 0; oracle(\"foo\"); i++) if (oracle()) \"bar\": 42 else ...list, \"baz\": null}; |
| ^": null}; |
| final core::int* i = 0; |
| block { |
| final core::List<core::int*>* #t291 = core::_GrowableList::•<core::int*>(0); |
| { |
| core::Iterator<core::int*>* :sync-for-iterator = core::_GrowableList::_literal1<core::int*>(1).{core::Iterable::iterator}{core::Iterator<core::int*>*}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final core::int* #t292 = :sync-for-iterator.{core::Iterator::current}{core::int*}; |
| { |
| invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:230:14: Error: Can't assign to the final variable 'i'. |
| <int>[for (i in <int>[1]) i]; |
| ^"; |
| #t291.{core::List::add}{Invariant}(i){(core::int*) →* void}; |
| } |
| } |
| } |
| } =>#t291; |
| block { |
| final core::Set<core::int*>* #t293 = new col::_CompactLinkedHashSet::•<core::int*>(); |
| { |
| core::Iterator<core::int*>* :sync-for-iterator = core::_GrowableList::_literal1<core::int*>(1).{core::Iterable::iterator}{core::Iterator<core::int*>*}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final core::int* #t294 = :sync-for-iterator.{core::Iterator::current}{core::int*}; |
| { |
| invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:231:14: Error: Can't assign to the final variable 'i'. |
| <int>{for (i in <int>[1]) i, null}; |
| ^"; |
| #t293.{core::Set::add}{Invariant}(i){(core::int*) →* core::bool*}; |
| } |
| } |
| } |
| #t293.{core::Set::add}{Invariant}(null){(core::int*) →* core::bool*}; |
| } =>#t293; |
| block { |
| final core::Map<core::String*, core::int*>* #t295 = <core::String*, core::int*>{}; |
| { |
| core::Iterator<core::int*>* :sync-for-iterator = core::_GrowableList::_literal1<core::int*>(1).{core::Iterable::iterator}{core::Iterator<core::int*>*}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final core::int* #t296 = :sync-for-iterator.{core::Iterator::current}{core::int*}; |
| { |
| invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:232:21: Error: Can't assign to the final variable 'i'. |
| \t<String, int>{for (i in <int>[1]) \"bar\": i, \"baz\": null}; |
| \t ^"; |
| #t295.{core::Map::[]=}{Invariant}("bar", i){(core::String*, core::int*) →* void}; |
| } |
| } |
| } |
| #t295.{core::Map::[]=}{Invariant}("baz", null){(core::String*, core::int*) →* void}; |
| } =>#t295; |
| core::List<dynamic>* list10 = block { |
| final core::List<dynamic>* #t297 = core::_GrowableList::•<dynamic>(0); |
| { |
| core::Iterator<dynamic>* :sync-for-iterator = (let final Never* #t298 = invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:234:31: Error: The type 'String' used in the 'for' loop must implement 'Iterable<dynamic>'. |
| - 'Iterable' is from 'dart:core'. |
| var list10 = [for (var i in \"not iterable\") i]; |
| ^" in "not iterable" as{TypeError} core::Iterable<dynamic>*).{core::Iterable::iterator}{core::Iterator<dynamic>*}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| dynamic i = :sync-for-iterator.{core::Iterator::current}{dynamic}; |
| #t297.{core::List::add}{Invariant}(i){(dynamic) →* void}; |
| } |
| } |
| } =>#t297; |
| core::Set<dynamic>* set10 = block { |
| final core::Set<dynamic>* #t299 = new col::_CompactLinkedHashSet::•<dynamic>(); |
| { |
| core::Iterator<dynamic>* :sync-for-iterator = (let final Never* #t300 = invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:235:30: Error: The type 'String' used in the 'for' loop must implement 'Iterable<dynamic>'. |
| - 'Iterable' is from 'dart:core'. |
| var set10 = {for (var i in \"not iterable\") i, null}; |
| ^" in "not iterable" as{TypeError} core::Iterable<dynamic>*).{core::Iterable::iterator}{core::Iterator<dynamic>*}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| dynamic i = :sync-for-iterator.{core::Iterator::current}{dynamic}; |
| #t299.{core::Set::add}{Invariant}(i){(dynamic) →* core::bool*}; |
| } |
| } |
| #t299.{core::Set::add}{Invariant}(null){(dynamic) →* core::bool*}; |
| } =>#t299; |
| core::Map<core::String*, dynamic>* map10 = block { |
| final core::Map<core::String*, dynamic>* #t301 = <core::String*, dynamic>{}; |
| { |
| core::Iterator<dynamic>* :sync-for-iterator = (let final Never* #t302 = invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:236:30: Error: The type 'String' used in the 'for' loop must implement 'Iterable<dynamic>'. |
| - 'Iterable' is from 'dart:core'. |
| var map10 = {for (var i in \"not iterable\") \"bar\": i, \"baz\": null}; |
| ^" in "not iterable" as{TypeError} core::Iterable<dynamic>*).{core::Iterable::iterator}{core::Iterator<dynamic>*}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| dynamic i = :sync-for-iterator.{core::Iterator::current}{dynamic}; |
| #t301.{core::Map::[]=}{Invariant}("bar", i){(core::String*, dynamic) →* void}; |
| } |
| } |
| #t301.{core::Map::[]=}{Invariant}("baz", null){(core::String*, dynamic) →* void}; |
| } =>#t301; |
| core::List<core::int*>* list20 = block { |
| final core::List<core::int*>* #t303 = core::_GrowableList::•<core::int*>(0); |
| { |
| core::Iterator<core::int*>* :sync-for-iterator = core::_GrowableList::_literal2<core::int*>(let final Never* #t304 = invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:237:32: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| var list20 = [for (int i in [\"not\", \"int\"]) i]; |
| ^" in "not" as{TypeError} core::int*, let final Never* #t305 = invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:237:39: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| var list20 = [for (int i in [\"not\", \"int\"]) i]; |
| ^" in "int" as{TypeError} core::int*).{core::Iterable::iterator}{core::Iterator<core::int*>*}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| core::int* i = :sync-for-iterator.{core::Iterator::current}{core::int*}; |
| #t303.{core::List::add}{Invariant}(i){(core::int*) →* void}; |
| } |
| } |
| } =>#t303; |
| core::Set<core::int*>* set20 = block { |
| final core::Set<core::int*>* #t306 = new col::_CompactLinkedHashSet::•<core::int*>(); |
| { |
| core::Iterator<core::int*>* :sync-for-iterator = core::_GrowableList::_literal2<core::int*>(let final Never* #t307 = invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:238:31: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| var set20 = {for (int i in [\"not\", \"int\"]) i, null}; |
| ^" in "not" as{TypeError} core::int*, let final Never* #t308 = invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:238:38: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| var set20 = {for (int i in [\"not\", \"int\"]) i, null}; |
| ^" in "int" as{TypeError} core::int*).{core::Iterable::iterator}{core::Iterator<core::int*>*}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| core::int* i = :sync-for-iterator.{core::Iterator::current}{core::int*}; |
| #t306.{core::Set::add}{Invariant}(i){(core::int*) →* core::bool*}; |
| } |
| } |
| #t306.{core::Set::add}{Invariant}(null){(core::int*) →* core::bool*}; |
| } =>#t306; |
| core::Map<core::String*, core::int*>* map20 = block { |
| final core::Map<core::String*, core::int*>* #t309 = <core::String*, core::int*>{}; |
| { |
| core::Iterator<core::int*>* :sync-for-iterator = core::_GrowableList::_literal2<core::int*>(let final Never* #t310 = invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:239:31: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| var map20 = {for (int i in [\"not\", \"int\"]) \"bar\": i, \"baz\": null}; |
| ^" in "not" as{TypeError} core::int*, let final Never* #t311 = invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:239:38: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| var map20 = {for (int i in [\"not\", \"int\"]) \"bar\": i, \"baz\": null}; |
| ^" in "int" as{TypeError} core::int*).{core::Iterable::iterator}{core::Iterator<core::int*>*}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| core::int* i = :sync-for-iterator.{core::Iterator::current}{core::int*}; |
| #t309.{core::Map::[]=}{Invariant}("bar", i){(core::String*, core::int*) →* void}; |
| } |
| } |
| #t309.{core::Map::[]=}{Invariant}("baz", null){(core::String*, core::int*) →* void}; |
| } =>#t309; |
| final core::List<dynamic>* #t312 = core::_GrowableList::•<dynamic>(0); |
| { |
| asy::Stream<dynamic>* :stream = let final Never* #t313 = invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:240:37: Error: The type 'String' used in the 'for' loop must implement 'Stream<dynamic>'. |
| - 'Stream' is from 'dart:async'. |
| var list30 = [await for (var i in \"not stream\") i]; |
| ^" in "not stream" as{TypeError} asy::Stream<dynamic>*; |
| asy::_StreamIterator<dynamic>* :for-iterator = new asy::_StreamIterator::•<dynamic>(:stream); |
| try |
| #L2: |
| while (true) { |
| dynamic #t314 = asy::_asyncStarMoveNextHelper(:stream); |
| [yield] let dynamic #t315 = asy::_awaitHelper(:for-iterator.{asy::_StreamIterator::moveNext}(){() → asy::Future<core::bool>}, :async_op_then, :async_op_error, :async_op) in null; |
| if(_in::unsafeCast<core::bool>(:result)) { |
| dynamic i = :for-iterator.{asy::_StreamIterator::current}{dynamic}; |
| #t312.{core::List::add}{Invariant}(i){(dynamic) →* void}; |
| } |
| else |
| break #L2; |
| } |
| finally |
| if(!(:for-iterator.{asy::_StreamIterator::_subscription}{asy::StreamSubscription<dynamic>?} == null)) { |
| [yield] let dynamic #t316 = asy::_awaitHelper(:for-iterator.{asy::_StreamIterator::cancel}(){() → asy::Future<dynamic>}, :async_op_then, :async_op_error, :async_op) in null; |
| :result; |
| } |
| } |
| core::List<dynamic>* list30 = block {} =>#t312; |
| final core::Set<dynamic>* #t317 = new col::_CompactLinkedHashSet::•<dynamic>(); |
| { |
| asy::Stream<dynamic>* :stream = let final Never* #t318 = invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:241:36: Error: The type 'String' used in the 'for' loop must implement 'Stream<dynamic>'. |
| - 'Stream' is from 'dart:async'. |
| var set30 = {await for (var i in \"not stream\") i, null}; |
| ^" in "not stream" as{TypeError} asy::Stream<dynamic>*; |
| asy::_StreamIterator<dynamic>* :for-iterator = new asy::_StreamIterator::•<dynamic>(:stream); |
| try |
| #L3: |
| while (true) { |
| dynamic #t319 = asy::_asyncStarMoveNextHelper(:stream); |
| [yield] let dynamic #t320 = asy::_awaitHelper(:for-iterator.{asy::_StreamIterator::moveNext}(){() → asy::Future<core::bool>}, :async_op_then, :async_op_error, :async_op) in null; |
| if(_in::unsafeCast<core::bool>(:result)) { |
| dynamic i = :for-iterator.{asy::_StreamIterator::current}{dynamic}; |
| #t317.{core::Set::add}{Invariant}(i){(dynamic) →* core::bool*}; |
| } |
| else |
| break #L3; |
| } |
| finally |
| if(!(:for-iterator.{asy::_StreamIterator::_subscription}{asy::StreamSubscription<dynamic>?} == null)) { |
| [yield] let dynamic #t321 = asy::_awaitHelper(:for-iterator.{asy::_StreamIterator::cancel}(){() → asy::Future<dynamic>}, :async_op_then, :async_op_error, :async_op) in null; |
| :result; |
| } |
| } |
| core::Set<dynamic>* set30 = block { |
| #t317.{core::Set::add}{Invariant}(null){(dynamic) →* core::bool*}; |
| } =>#t317; |
| final core::Map<core::String*, dynamic>* #t322 = <core::String*, dynamic>{}; |
| { |
| asy::Stream<dynamic>* :stream = let final Never* #t323 = invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:242:36: Error: The type 'String' used in the 'for' loop must implement 'Stream<dynamic>'. |
| - 'Stream' is from 'dart:async'. |
| var map30 = {await for (var i in \"not stream\") \"bar\": i, \"baz\": null}; |
| ^" in "not stream" as{TypeError} asy::Stream<dynamic>*; |
| asy::_StreamIterator<dynamic>* :for-iterator = new asy::_StreamIterator::•<dynamic>(:stream); |
| try |
| #L4: |
| while (true) { |
| dynamic #t324 = asy::_asyncStarMoveNextHelper(:stream); |
| [yield] let dynamic #t325 = asy::_awaitHelper(:for-iterator.{asy::_StreamIterator::moveNext}(){() → asy::Future<core::bool>}, :async_op_then, :async_op_error, :async_op) in null; |
| if(_in::unsafeCast<core::bool>(:result)) { |
| dynamic i = :for-iterator.{asy::_StreamIterator::current}{dynamic}; |
| #t322.{core::Map::[]=}{Invariant}("bar", i){(core::String*, dynamic) →* void}; |
| } |
| else |
| break #L4; |
| } |
| finally |
| if(!(:for-iterator.{asy::_StreamIterator::_subscription}{asy::StreamSubscription<dynamic>?} == null)) { |
| [yield] let dynamic #t326 = asy::_awaitHelper(:for-iterator.{asy::_StreamIterator::cancel}(){() → asy::Future<dynamic>}, :async_op_then, :async_op_error, :async_op) in null; |
| :result; |
| } |
| } |
| core::Map<core::String*, dynamic>* map30 = block { |
| #t322.{core::Map::[]=}{Invariant}("baz", null){(core::String*, dynamic) →* void}; |
| } =>#t322; |
| final core::List<core::int*>* #t327 = core::_GrowableList::•<core::int*>(0); |
| { |
| asy::Stream<core::int*> :stream = asy::Stream::fromIterable<core::int*>(core::_GrowableList::_literal2<core::int*>(let final Never* #t328 = invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:243:58: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| var list40 = [await for (int i in Stream.fromIterable([\"not\", \"int\"])) i]; |
| ^" in "not" as{TypeError} core::int*, let final Never* #t329 = invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:243:65: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| var list40 = [await for (int i in Stream.fromIterable([\"not\", \"int\"])) i]; |
| ^" in "int" as{TypeError} core::int*)); |
| asy::_StreamIterator<core::int*>* :for-iterator = new asy::_StreamIterator::•<core::int*>(:stream); |
| try |
| #L5: |
| while (true) { |
| dynamic #t330 = asy::_asyncStarMoveNextHelper(:stream); |
| [yield] let dynamic #t331 = asy::_awaitHelper(:for-iterator.{asy::_StreamIterator::moveNext}(){() → asy::Future<core::bool>}, :async_op_then, :async_op_error, :async_op) in null; |
| if(_in::unsafeCast<core::bool>(:result)) { |
| core::int* i = :for-iterator.{asy::_StreamIterator::current}{core::int*}; |
| #t327.{core::List::add}{Invariant}(i){(core::int*) →* void}; |
| } |
| else |
| break #L5; |
| } |
| finally |
| if(!(:for-iterator.{asy::_StreamIterator::_subscription}{asy::StreamSubscription<core::int*>?} == null)) { |
| [yield] let dynamic #t332 = asy::_awaitHelper(:for-iterator.{asy::_StreamIterator::cancel}(){() → asy::Future<dynamic>}, :async_op_then, :async_op_error, :async_op) in null; |
| :result; |
| } |
| } |
| core::List<core::int*>* list40 = block {} =>#t327; |
| final core::Set<core::int*>* #t333 = new col::_CompactLinkedHashSet::•<core::int*>(); |
| { |
| asy::Stream<core::int*> :stream = asy::Stream::fromIterable<core::int*>(core::_GrowableList::_literal2<core::int*>(let final Never* #t334 = invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:244:57: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| var set40 = {await for (int i in Stream.fromIterable([\"not\", \"int\"])) i, null}; |
| ^" in "not" as{TypeError} core::int*, let final Never* #t335 = invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:244:64: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| var set40 = {await for (int i in Stream.fromIterable([\"not\", \"int\"])) i, null}; |
| ^" in "int" as{TypeError} core::int*)); |
| asy::_StreamIterator<core::int*>* :for-iterator = new asy::_StreamIterator::•<core::int*>(:stream); |
| try |
| #L6: |
| while (true) { |
| dynamic #t336 = asy::_asyncStarMoveNextHelper(:stream); |
| [yield] let dynamic #t337 = asy::_awaitHelper(:for-iterator.{asy::_StreamIterator::moveNext}(){() → asy::Future<core::bool>}, :async_op_then, :async_op_error, :async_op) in null; |
| if(_in::unsafeCast<core::bool>(:result)) { |
| core::int* i = :for-iterator.{asy::_StreamIterator::current}{core::int*}; |
| #t333.{core::Set::add}{Invariant}(i){(core::int*) →* core::bool*}; |
| } |
| else |
| break #L6; |
| } |
| finally |
| if(!(:for-iterator.{asy::_StreamIterator::_subscription}{asy::StreamSubscription<core::int*>?} == null)) { |
| [yield] let dynamic #t338 = asy::_awaitHelper(:for-iterator.{asy::_StreamIterator::cancel}(){() → asy::Future<dynamic>}, :async_op_then, :async_op_error, :async_op) in null; |
| :result; |
| } |
| } |
| core::Set<core::int*>* set40 = block { |
| #t333.{core::Set::add}{Invariant}(null){(core::int*) →* core::bool*}; |
| } =>#t333; |
| final core::Map<core::String*, core::int*>* #t339 = <core::String*, core::int*>{}; |
| { |
| asy::Stream<core::int*> :stream = asy::Stream::fromIterable<core::int*>(core::_GrowableList::_literal2<core::int*>(let final Never* #t340 = invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:245:57: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| var map40 = {await for (int i in Stream.fromIterable([\"not\", \"int\"])) \"bar\": i, \"baz\": null}; |
| ^" in "not" as{TypeError} core::int*, let final Never* #t341 = invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:245:64: Error: A value of type 'String' can't be assigned to a variable of type 'int'. |
| var map40 = {await for (int i in Stream.fromIterable([\"not\", \"int\"])) \"bar\": i, \"baz\": null}; |
| ^" in "int" as{TypeError} core::int*)); |
| asy::_StreamIterator<core::int*>* :for-iterator = new asy::_StreamIterator::•<core::int*>(:stream); |
| try |
| #L7: |
| while (true) { |
| dynamic #t342 = asy::_asyncStarMoveNextHelper(:stream); |
| [yield] let dynamic #t343 = asy::_awaitHelper(:for-iterator.{asy::_StreamIterator::moveNext}(){() → asy::Future<core::bool>}, :async_op_then, :async_op_error, :async_op) in null; |
| if(_in::unsafeCast<core::bool>(:result)) { |
| core::int* i = :for-iterator.{asy::_StreamIterator::current}{core::int*}; |
| #t339.{core::Map::[]=}{Invariant}("bar", i){(core::String*, core::int*) →* void}; |
| } |
| else |
| break #L7; |
| } |
| finally |
| if(!(:for-iterator.{asy::_StreamIterator::_subscription}{asy::StreamSubscription<core::int*>?} == null)) { |
| [yield] let dynamic #t344 = asy::_awaitHelper(:for-iterator.{asy::_StreamIterator::cancel}(){() → asy::Future<dynamic>}, :async_op_then, :async_op_error, :async_op) in null; |
| :result; |
| } |
| } |
| core::Map<core::String*, core::int*>* map40 = block { |
| #t339.{core::Map::[]=}{Invariant}("baz", null){(core::String*, core::int*) →* void}; |
| } =>#t339; |
| core::List<core::int*>* list50 = block { |
| final core::List<core::int*>* #t345 = core::_GrowableList::•<core::int*>(0); |
| for (; ; ) |
| #t345.{core::List::add}{Invariant}(42){(core::int*) →* void}; |
| } =>#t345; |
| core::Set<core::int*>* set50 = block { |
| final core::Set<core::int*>* #t346 = new col::_CompactLinkedHashSet::•<core::int*>(); |
| for (; ; ) |
| #t346.{core::Set::add}{Invariant}(42){(core::int*) →* core::bool*}; |
| #t346.{core::Set::add}{Invariant}(null){(core::int*) →* core::bool*}; |
| } =>#t346; |
| core::Map<core::String*, core::int*>* map50 = block { |
| final core::Map<core::String*, core::int*>* #t347 = <core::String*, core::int*>{}; |
| for (; ; ) |
| #t347.{core::Map::[]=}{Invariant}("bar", 42){(core::String*, core::int*) →* void}; |
| #t347.{core::Map::[]=}{Invariant}("baz", null){(core::String*, core::int*) →* void}; |
| } =>#t347; |
| core::List<core::int*>* list60 = block { |
| final core::List<core::int*>* #t348 = core::_GrowableList::•<core::int*>(0); |
| for (; let final Never* #t349 = invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:249:24: Error: A value of type 'String' can't be assigned to a variable of type 'bool'. |
| var list60 = [for (; \"not bool\";) 42]; |
| ^" in "not bool" as{TypeError} core::bool*; ) |
| #t348.{core::List::add}{Invariant}(42){(core::int*) →* void}; |
| } =>#t348; |
| core::Set<core::int*>* set60 = block { |
| final core::Set<core::int*>* #t350 = new col::_CompactLinkedHashSet::•<core::int*>(); |
| for (; let final Never* #t351 = invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:250:23: Error: A value of type 'String' can't be assigned to a variable of type 'bool'. |
| var set60 = {for (; \"not bool\";) 42, null}; |
| ^" in "not bool" as{TypeError} core::bool*; ) |
| #t350.{core::Set::add}{Invariant}(42){(core::int*) →* core::bool*}; |
| #t350.{core::Set::add}{Invariant}(null){(core::int*) →* core::bool*}; |
| } =>#t350; |
| core::Map<core::String*, core::int*>* map60 = block { |
| final core::Map<core::String*, core::int*>* #t352 = <core::String*, core::int*>{}; |
| for (; let final Never* #t353 = invalid-expression "pkg/front_end/testcases/general/control_flow_collection_inference.dart:251:23: Error: A value of type 'String' can't be assigned to a variable of type 'bool'. |
| var map60 = {for (; \"not bool\";) \"bar\": 42, \"baz\": null}; |
| ^" in "not bool" as{TypeError} core::bool*; ) |
| #t352.{core::Map::[]=}{Invariant}("bar", 42){(core::String*, core::int*) →* void}; |
| #t352.{core::Map::[]=}{Invariant}("baz", null){(core::String*, core::int*) →* void}; |
| } =>#t352; |
| } |
| asy::_completeOnAsyncReturn(:async_future, :return_value, :is_sync); |
| return; |
| } |
| on dynamic catch(dynamic exception, core::StackTrace* stack_trace) { |
| asy::_completeOnAsyncError(:async_future, exception, stack_trace, :is_sync); |
| } |
| :async_op_then = asy::_asyncThenWrapperHelper(:async_op); |
| :async_op_error = asy::_asyncErrorWrapperHelper(:async_op); |
| :async_op(){() →* dynamic}; |
| :is_sync = true; |
| return :async_future; |
| } |
| static method testForElementErrorsNotAsync(asy::Stream<core::int*>* stream) → dynamic { |
| block { |
| final core::List<core::int*>* #t354 = core::_GrowableList::•<core::int*>(0); |
| await for (core::int* i in stream) |
| #t354.{core::List::add}{Invariant}(i){(core::int*) →* void}; |
| } =>#t354; |
| block { |
| final core::Set<core::int*>* #t355 = new col::_CompactLinkedHashSet::•<core::int*>(); |
| await for (core::int* i in stream) |
| #t355.{core::Set::add}{Invariant}(i){(core::int*) →* core::bool*}; |
| } =>#t355; |
| block { |
| final core::Map<core::String*, core::int*>* #t356 = <core::String*, core::int*>{}; |
| await for (core::int* i in stream) |
| #t356.{core::Map::[]=}{Invariant}("bar", i){(core::String*, core::int*) →* void}; |
| } =>#t356; |
| } |
| static method testPromotion(self::A* a) → dynamic { |
| core::List<core::int*>* list10 = block { |
| final core::List<core::int*>* #t357 = core::_GrowableList::•<core::int*>(0); |
| if(a is self::B*) |
| #t357.{core::List::add}{Invariant}(a{self::B*}.{self::B::foo}{core::int*}){(core::int*) →* void}; |
| } =>#t357; |
| core::Set<core::int*>* set10 = block { |
| final core::Set<core::int*>* #t358 = new col::_CompactLinkedHashSet::•<core::int*>(); |
| if(a is self::B*) |
| #t358.{core::Set::add}{Invariant}(a{self::B*}.{self::B::foo}{core::int*}){(core::int*) →* core::bool*}; |
| } =>#t358; |
| core::Map<core::int*, core::int*>* map10 = block { |
| final core::Map<core::int*, core::int*>* #t359 = <core::int*, core::int*>{}; |
| if(a is self::B*) |
| #t359.{core::Map::[]=}{Invariant}(a{self::B*}.{self::B::foo}{core::int*}, a{self::B*}.{self::B::foo}{core::int*}){(core::int*, core::int*) →* void}; |
| } =>#t359; |
| } |
| static method main() → dynamic {} |
| |
| constants { |
| #C1 = null |
| } |
