| library /*isNonNullableByDefault*/; |
| // |
| // Problems in library: |
| // |
| // pkg/front_end/testcases/nnbd/issue43495.dart:8:9: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| // {...a}, // Error. |
| // ^ |
| // |
| // pkg/front_end/testcases/nnbd/issue43495.dart:9:9: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| // {...b}, // Error. |
| // ^ |
| // |
| // pkg/front_end/testcases/nnbd/issue43495.dart:10:9: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| // {...c}, // Error. |
| // ^ |
| // |
| // pkg/front_end/testcases/nnbd/issue43495.dart:11:9: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| // {...d}, // Error. |
| // ^ |
| // |
| // pkg/front_end/testcases/nnbd/issue43495.dart:12:19: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| // <int, int>{...a}, // Error. |
| // ^ |
| // |
| // pkg/front_end/testcases/nnbd/issue43495.dart:12:19: Error: Unexpected type 'List<int>?' of a map spread entry. Expected 'dynamic' or a Map. |
| // - 'List' is from 'dart:core'. |
| // <int, int>{...a}, // Error. |
| // ^ |
| // |
| // pkg/front_end/testcases/nnbd/issue43495.dart:13:14: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| // <int>{...d}, // Error. |
| // ^ |
| // |
| // pkg/front_end/testcases/nnbd/issue43495.dart:13:14: Error: Unexpected type 'Map<int, int>?' of a spread. Expected 'dynamic' or an Iterable. |
| // - 'Map' is from 'dart:core'. |
| // <int>{...d}, // Error. |
| // ^ |
| // |
| // pkg/front_end/testcases/nnbd/issue43495.dart:14:24: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| // {if (condition) ...a}, // Error. |
| // ^ |
| // |
| // pkg/front_end/testcases/nnbd/issue43495.dart:15:24: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| // {if (condition) ...b}, // Error. |
| // ^ |
| // |
| // pkg/front_end/testcases/nnbd/issue43495.dart:16:24: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| // {if (condition) ...c}, // Error. |
| // ^ |
| // |
| // pkg/front_end/testcases/nnbd/issue43495.dart:17:24: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| // {if (condition) ...d}, // Error. |
| // ^ |
| // |
| // pkg/front_end/testcases/nnbd/issue43495.dart:18:37: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| // {for (dynamic e in iterable) ...a}, // Error. |
| // ^ |
| // |
| // pkg/front_end/testcases/nnbd/issue43495.dart:19:37: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| // {for (dynamic e in iterable) ...b}, // Error. |
| // ^ |
| // |
| // pkg/front_end/testcases/nnbd/issue43495.dart:20:37: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| // {for (dynamic e in iterable) ...c}, // Error. |
| // ^ |
| // |
| // pkg/front_end/testcases/nnbd/issue43495.dart:21:37: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| // {for (dynamic e in iterable) ...d}, // Error. |
| // ^ |
| // |
| // pkg/front_end/testcases/nnbd/issue43495.dart:22:38: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| // {for (int i = 0; i < 42; ++i) ...a}, // Error. |
| // ^ |
| // |
| // pkg/front_end/testcases/nnbd/issue43495.dart:23:38: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| // {for (int i = 0; i < 42; ++i) ...b}, // Error. |
| // ^ |
| // |
| // pkg/front_end/testcases/nnbd/issue43495.dart:24:38: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| // {for (int i = 0; i < 42; ++i) ...c}, // Error. |
| // ^ |
| // |
| // pkg/front_end/testcases/nnbd/issue43495.dart:25:38: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| // {for (int i = 0; i < 42; ++i) ...d}, // Error. |
| // ^ |
| // |
| // pkg/front_end/testcases/nnbd/issue43495.dart:50:9: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| // {...x}, // Error. |
| // ^ |
| // |
| // pkg/front_end/testcases/nnbd/issue43495.dart:51:9: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| // {...y}, // Error. |
| // ^ |
| // |
| // pkg/front_end/testcases/nnbd/issue43495.dart:52:9: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| // {...z}, // Error. |
| // ^ |
| // |
| // pkg/front_end/testcases/nnbd/issue43495.dart:53:9: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| // {...w}, // Error. |
| // ^ |
| // |
| // pkg/front_end/testcases/nnbd/issue43495.dart:54:19: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| // <int, int>{...x}, // Error. |
| // ^ |
| // |
| // pkg/front_end/testcases/nnbd/issue43495.dart:54:19: Error: Unexpected type 'X' of a map spread entry. Expected 'dynamic' or a Map. |
| // <int, int>{...x}, // Error. |
| // ^ |
| // |
| // pkg/front_end/testcases/nnbd/issue43495.dart:55:14: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| // <int>{...w}, // Error. |
| // ^ |
| // |
| // pkg/front_end/testcases/nnbd/issue43495.dart:55:14: Error: Unexpected type 'W' of a spread. Expected 'dynamic' or an Iterable. |
| // <int>{...w}, // Error. |
| // ^ |
| // |
| // pkg/front_end/testcases/nnbd/issue43495.dart:56:24: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| // {if (condition) ...x}, // Error. |
| // ^ |
| // |
| // pkg/front_end/testcases/nnbd/issue43495.dart:57:24: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| // {if (condition) ...y}, // Error. |
| // ^ |
| // |
| // pkg/front_end/testcases/nnbd/issue43495.dart:58:24: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| // {if (condition) ...z}, // Error. |
| // ^ |
| // |
| // pkg/front_end/testcases/nnbd/issue43495.dart:59:24: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| // {if (condition) ...w}, // Error. |
| // ^ |
| // |
| // pkg/front_end/testcases/nnbd/issue43495.dart:60:37: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| // {for (dynamic e in iterable) ...x}, // Error. |
| // ^ |
| // |
| // pkg/front_end/testcases/nnbd/issue43495.dart:61:37: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| // {for (dynamic e in iterable) ...y}, // Error. |
| // ^ |
| // |
| // pkg/front_end/testcases/nnbd/issue43495.dart:62:37: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| // {for (dynamic e in iterable) ...z}, // Error. |
| // ^ |
| // |
| // pkg/front_end/testcases/nnbd/issue43495.dart:63:37: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| // {for (dynamic e in iterable) ...w}, // Error. |
| // ^ |
| // |
| // pkg/front_end/testcases/nnbd/issue43495.dart:64:38: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| // {for (int i = 0; i < 42; ++i) ...x}, // Error. |
| // ^ |
| // |
| // pkg/front_end/testcases/nnbd/issue43495.dart:65:38: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| // {for (int i = 0; i < 42; ++i) ...y}, // Error. |
| // ^ |
| // |
| // pkg/front_end/testcases/nnbd/issue43495.dart:66:38: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| // {for (int i = 0; i < 42; ++i) ...z}, // Error. |
| // ^ |
| // |
| // pkg/front_end/testcases/nnbd/issue43495.dart:67:38: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| // {for (int i = 0; i < 42; ++i) ...w}, // Error. |
| // ^ |
| // |
| import self as self; |
| import "dart:core" as core; |
| import "dart:collection" as col; |
| |
| static method foo(core::bool condition, core::Iterable<dynamic> iterable, core::List<core::int>? a, core::Set<core::int>? b, core::Iterable<core::int>? c, core::Map<core::int, core::int>? d) → dynamic { |
| return <core::Object>[ block { |
| final core::Set<core::int> #t1 = col::LinkedHashSet::•<core::int>(); |
| for (final dynamic #t2 in invalid-expression "pkg/front_end/testcases/nnbd/issue43495.dart:8:9: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| {...a}, // Error. |
| ^") { |
| final core::int #t3 = #t2 as{TypeError,ForNonNullableByDefault} core::int; |
| #t1.{core::Set::add}(#t3); |
| } |
| } =>#t1, block { |
| final core::Set<core::int> #t4 = col::LinkedHashSet::•<core::int>(); |
| for (final dynamic #t5 in invalid-expression "pkg/front_end/testcases/nnbd/issue43495.dart:9:9: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| {...b}, // Error. |
| ^") { |
| final core::int #t6 = #t5 as{TypeError,ForNonNullableByDefault} core::int; |
| #t4.{core::Set::add}(#t6); |
| } |
| } =>#t4, block { |
| final core::Set<core::int> #t7 = col::LinkedHashSet::•<core::int>(); |
| for (final dynamic #t8 in invalid-expression "pkg/front_end/testcases/nnbd/issue43495.dart:10:9: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| {...c}, // Error. |
| ^") { |
| final core::int #t9 = #t8 as{TypeError,ForNonNullableByDefault} core::int; |
| #t7.{core::Set::add}(#t9); |
| } |
| } =>#t7, <core::int, core::int>{invalid-expression "pkg/front_end/testcases/nnbd/issue43495.dart:11:9: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| {...d}, // Error. |
| ^": null}, <core::int, core::int>{invalid-expression "pkg/front_end/testcases/nnbd/issue43495.dart:12:19: Error: Unexpected type 'List<int>?' of a map spread entry. Expected 'dynamic' or a Map. |
| - 'List' is from 'dart:core'. |
| <int, int>{...a}, // Error. |
| ^": null}, let final core::Set<core::int> #t10 = col::LinkedHashSet::•<core::int>() in let final dynamic #t11 = #t10.{core::Set::add}(invalid-expression "pkg/front_end/testcases/nnbd/issue43495.dart:13:14: Error: Unexpected type 'Map<int, int>?' of a spread. Expected 'dynamic' or an Iterable. |
| - 'Map' is from 'dart:core'. |
| <int>{...d}, // Error. |
| ^") in #t10, block { |
| final core::Set<core::int> #t12 = col::LinkedHashSet::•<core::int>(); |
| if(condition) |
| for (final dynamic #t13 in invalid-expression "pkg/front_end/testcases/nnbd/issue43495.dart:14:24: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| {if (condition) ...a}, // Error. |
| ^") { |
| final core::int #t14 = #t13 as{TypeError,ForNonNullableByDefault} core::int; |
| #t12.{core::Set::add}(#t14); |
| } |
| } =>#t12, block { |
| final core::Set<core::int> #t15 = col::LinkedHashSet::•<core::int>(); |
| if(condition) |
| for (final dynamic #t16 in invalid-expression "pkg/front_end/testcases/nnbd/issue43495.dart:15:24: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| {if (condition) ...b}, // Error. |
| ^") { |
| final core::int #t17 = #t16 as{TypeError,ForNonNullableByDefault} core::int; |
| #t15.{core::Set::add}(#t17); |
| } |
| } =>#t15, block { |
| final core::Set<core::int> #t18 = col::LinkedHashSet::•<core::int>(); |
| if(condition) |
| for (final dynamic #t19 in invalid-expression "pkg/front_end/testcases/nnbd/issue43495.dart:16:24: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| {if (condition) ...c}, // Error. |
| ^") { |
| final core::int #t20 = #t19 as{TypeError,ForNonNullableByDefault} core::int; |
| #t18.{core::Set::add}(#t20); |
| } |
| } =>#t18, block { |
| final core::Map<core::int, core::int> #t21 = <core::int, core::int>{}; |
| if(condition) |
| #t21.{core::Map::[]=}(invalid-expression "pkg/front_end/testcases/nnbd/issue43495.dart:17:24: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| {if (condition) ...d}, // Error. |
| ^", null); |
| } =>#t21, block { |
| final core::Set<core::int> #t22 = col::LinkedHashSet::•<core::int>(); |
| for (dynamic e in iterable) |
| for (final dynamic #t23 in invalid-expression "pkg/front_end/testcases/nnbd/issue43495.dart:18:37: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| {for (dynamic e in iterable) ...a}, // Error. |
| ^") { |
| final core::int #t24 = #t23 as{TypeError,ForNonNullableByDefault} core::int; |
| #t22.{core::Set::add}(#t24); |
| } |
| } =>#t22, block { |
| final core::Set<core::int> #t25 = col::LinkedHashSet::•<core::int>(); |
| for (dynamic e in iterable) |
| for (final dynamic #t26 in invalid-expression "pkg/front_end/testcases/nnbd/issue43495.dart:19:37: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| {for (dynamic e in iterable) ...b}, // Error. |
| ^") { |
| final core::int #t27 = #t26 as{TypeError,ForNonNullableByDefault} core::int; |
| #t25.{core::Set::add}(#t27); |
| } |
| } =>#t25, block { |
| final core::Set<core::int> #t28 = col::LinkedHashSet::•<core::int>(); |
| for (dynamic e in iterable) |
| for (final dynamic #t29 in invalid-expression "pkg/front_end/testcases/nnbd/issue43495.dart:20:37: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| {for (dynamic e in iterable) ...c}, // Error. |
| ^") { |
| final core::int #t30 = #t29 as{TypeError,ForNonNullableByDefault} core::int; |
| #t28.{core::Set::add}(#t30); |
| } |
| } =>#t28, block { |
| final core::Map<core::int, core::int> #t31 = <core::int, core::int>{}; |
| for (dynamic e in iterable) |
| #t31.{core::Map::[]=}(invalid-expression "pkg/front_end/testcases/nnbd/issue43495.dart:21:37: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| {for (dynamic e in iterable) ...d}, // Error. |
| ^", null); |
| } =>#t31, block { |
| final core::Set<core::int> #t32 = col::LinkedHashSet::•<core::int>(); |
| for (core::int i = 0; i.{core::num::<}(42); i = i.{core::num::+}(1)) |
| for (final dynamic #t33 in invalid-expression "pkg/front_end/testcases/nnbd/issue43495.dart:22:38: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| {for (int i = 0; i < 42; ++i) ...a}, // Error. |
| ^") { |
| final core::int #t34 = #t33 as{TypeError,ForNonNullableByDefault} core::int; |
| #t32.{core::Set::add}(#t34); |
| } |
| } =>#t32, block { |
| final core::Set<core::int> #t35 = col::LinkedHashSet::•<core::int>(); |
| for (core::int i = 0; i.{core::num::<}(42); i = i.{core::num::+}(1)) |
| for (final dynamic #t36 in invalid-expression "pkg/front_end/testcases/nnbd/issue43495.dart:23:38: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| {for (int i = 0; i < 42; ++i) ...b}, // Error. |
| ^") { |
| final core::int #t37 = #t36 as{TypeError,ForNonNullableByDefault} core::int; |
| #t35.{core::Set::add}(#t37); |
| } |
| } =>#t35, block { |
| final core::Set<core::int> #t38 = col::LinkedHashSet::•<core::int>(); |
| for (core::int i = 0; i.{core::num::<}(42); i = i.{core::num::+}(1)) |
| for (final dynamic #t39 in invalid-expression "pkg/front_end/testcases/nnbd/issue43495.dart:24:38: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| {for (int i = 0; i < 42; ++i) ...c}, // Error. |
| ^") { |
| final core::int #t40 = #t39 as{TypeError,ForNonNullableByDefault} core::int; |
| #t38.{core::Set::add}(#t40); |
| } |
| } =>#t38, block { |
| final core::Map<core::int, core::int> #t41 = <core::int, core::int>{}; |
| for (core::int i = 0; i.{core::num::<}(42); i = i.{core::num::+}(1)) |
| #t41.{core::Map::[]=}(invalid-expression "pkg/front_end/testcases/nnbd/issue43495.dart:25:38: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| {for (int i = 0; i < 42; ++i) ...d}, // Error. |
| ^", null); |
| } =>#t41, block { |
| final core::Set<core::int> #t42 = col::LinkedHashSet::•<core::int>(); |
| final core::Iterable<dynamic>? #t43 = a; |
| if(!#t43.{core::Object::==}(null)) |
| for (final dynamic #t44 in #t43{core::Iterable<dynamic>}) { |
| final core::int #t45 = #t44 as{TypeError,ForNonNullableByDefault} core::int; |
| #t42.{core::Set::add}(#t45); |
| } |
| } =>#t42, block { |
| final core::Set<core::int> #t46 = col::LinkedHashSet::•<core::int>(); |
| final core::Iterable<dynamic>? #t47 = b; |
| if(!#t47.{core::Object::==}(null)) |
| for (final dynamic #t48 in #t47{core::Iterable<dynamic>}) { |
| final core::int #t49 = #t48 as{TypeError,ForNonNullableByDefault} core::int; |
| #t46.{core::Set::add}(#t49); |
| } |
| } =>#t46, block { |
| final core::Set<core::int> #t50 = col::LinkedHashSet::•<core::int>(); |
| final core::Iterable<dynamic>? #t51 = c; |
| if(!#t51.{core::Object::==}(null)) |
| for (final dynamic #t52 in #t51{core::Iterable<dynamic>}) { |
| final core::int #t53 = #t52 as{TypeError,ForNonNullableByDefault} core::int; |
| #t50.{core::Set::add}(#t53); |
| } |
| } =>#t50, block { |
| final core::Map<core::int, core::int> #t54 = <core::int, core::int>{}; |
| final core::Map<core::int, core::int>? #t55 = d; |
| if(!#t55.{core::Object::==}(null)) |
| for (final core::MapEntry<core::int, core::int> #t56 in #t55{core::Map<core::int, core::int>}.{core::Map::entries}) |
| #t54.{core::Map::[]=}(#t56.{core::MapEntry::key}, #t56.{core::MapEntry::value}); |
| } =>#t54, block { |
| final core::Set<core::int> #t57 = col::LinkedHashSet::•<core::int>(); |
| if(condition) { |
| final core::Iterable<dynamic>? #t58 = a; |
| if(!#t58.{core::Object::==}(null)) |
| for (final dynamic #t59 in #t58{core::Iterable<dynamic>}) { |
| final core::int #t60 = #t59 as{TypeError,ForNonNullableByDefault} core::int; |
| #t57.{core::Set::add}(#t60); |
| } |
| } |
| } =>#t57, block { |
| final core::Set<core::int> #t61 = col::LinkedHashSet::•<core::int>(); |
| if(condition) { |
| final core::Iterable<dynamic>? #t62 = b; |
| if(!#t62.{core::Object::==}(null)) |
| for (final dynamic #t63 in #t62{core::Iterable<dynamic>}) { |
| final core::int #t64 = #t63 as{TypeError,ForNonNullableByDefault} core::int; |
| #t61.{core::Set::add}(#t64); |
| } |
| } |
| } =>#t61, block { |
| final core::Set<core::int> #t65 = col::LinkedHashSet::•<core::int>(); |
| if(condition) { |
| final core::Iterable<dynamic>? #t66 = c; |
| if(!#t66.{core::Object::==}(null)) |
| for (final dynamic #t67 in #t66{core::Iterable<dynamic>}) { |
| final core::int #t68 = #t67 as{TypeError,ForNonNullableByDefault} core::int; |
| #t65.{core::Set::add}(#t68); |
| } |
| } |
| } =>#t65, block { |
| final core::Map<core::int, core::int> #t69 = <core::int, core::int>{}; |
| if(condition) { |
| final core::Map<core::int, core::int>? #t70 = d; |
| if(!#t70.{core::Object::==}(null)) |
| for (final core::MapEntry<core::int, core::int> #t71 in #t70{core::Map<core::int, core::int>}.{core::Map::entries}) |
| #t69.{core::Map::[]=}(#t71.{core::MapEntry::key}, #t71.{core::MapEntry::value}); |
| } |
| } =>#t69, block { |
| final core::Set<core::int> #t72 = col::LinkedHashSet::•<core::int>(); |
| for (dynamic e in iterable) { |
| final core::Iterable<dynamic>? #t73 = a; |
| if(!#t73.{core::Object::==}(null)) |
| for (final dynamic #t74 in #t73{core::Iterable<dynamic>}) { |
| final core::int #t75 = #t74 as{TypeError,ForNonNullableByDefault} core::int; |
| #t72.{core::Set::add}(#t75); |
| } |
| } |
| } =>#t72, block { |
| final core::Set<core::int> #t76 = col::LinkedHashSet::•<core::int>(); |
| for (dynamic e in iterable) { |
| final core::Iterable<dynamic>? #t77 = b; |
| if(!#t77.{core::Object::==}(null)) |
| for (final dynamic #t78 in #t77{core::Iterable<dynamic>}) { |
| final core::int #t79 = #t78 as{TypeError,ForNonNullableByDefault} core::int; |
| #t76.{core::Set::add}(#t79); |
| } |
| } |
| } =>#t76, block { |
| final core::Set<core::int> #t80 = col::LinkedHashSet::•<core::int>(); |
| for (dynamic e in iterable) { |
| final core::Iterable<dynamic>? #t81 = c; |
| if(!#t81.{core::Object::==}(null)) |
| for (final dynamic #t82 in #t81{core::Iterable<dynamic>}) { |
| final core::int #t83 = #t82 as{TypeError,ForNonNullableByDefault} core::int; |
| #t80.{core::Set::add}(#t83); |
| } |
| } |
| } =>#t80, block { |
| final core::Map<core::int, core::int> #t84 = <core::int, core::int>{}; |
| for (dynamic e in iterable) { |
| final core::Map<core::int, core::int>? #t85 = d; |
| if(!#t85.{core::Object::==}(null)) |
| for (final core::MapEntry<core::int, core::int> #t86 in #t85{core::Map<core::int, core::int>}.{core::Map::entries}) |
| #t84.{core::Map::[]=}(#t86.{core::MapEntry::key}, #t86.{core::MapEntry::value}); |
| } |
| } =>#t84, block { |
| final core::Set<core::int> #t87 = col::LinkedHashSet::•<core::int>(); |
| for (core::int i = 0; i.{core::num::<}(42); i = i.{core::num::+}(1)) { |
| final core::Iterable<dynamic>? #t88 = a; |
| if(!#t88.{core::Object::==}(null)) |
| for (final dynamic #t89 in #t88{core::Iterable<dynamic>}) { |
| final core::int #t90 = #t89 as{TypeError,ForNonNullableByDefault} core::int; |
| #t87.{core::Set::add}(#t90); |
| } |
| } |
| } =>#t87, block { |
| final core::Set<core::int> #t91 = col::LinkedHashSet::•<core::int>(); |
| for (core::int i = 0; i.{core::num::<}(42); i = i.{core::num::+}(1)) { |
| final core::Iterable<dynamic>? #t92 = b; |
| if(!#t92.{core::Object::==}(null)) |
| for (final dynamic #t93 in #t92{core::Iterable<dynamic>}) { |
| final core::int #t94 = #t93 as{TypeError,ForNonNullableByDefault} core::int; |
| #t91.{core::Set::add}(#t94); |
| } |
| } |
| } =>#t91, block { |
| final core::Set<core::int> #t95 = col::LinkedHashSet::•<core::int>(); |
| for (core::int i = 0; i.{core::num::<}(42); i = i.{core::num::+}(1)) { |
| final core::Iterable<dynamic>? #t96 = c; |
| if(!#t96.{core::Object::==}(null)) |
| for (final dynamic #t97 in #t96{core::Iterable<dynamic>}) { |
| final core::int #t98 = #t97 as{TypeError,ForNonNullableByDefault} core::int; |
| #t95.{core::Set::add}(#t98); |
| } |
| } |
| } =>#t95, block { |
| final core::Map<core::int, core::int> #t99 = <core::int, core::int>{}; |
| for (core::int i = 0; i.{core::num::<}(42); i = i.{core::num::+}(1)) { |
| final core::Map<core::int, core::int>? #t100 = d; |
| if(!#t100.{core::Object::==}(null)) |
| for (final core::MapEntry<core::int, core::int> #t101 in #t100{core::Map<core::int, core::int>}.{core::Map::entries}) |
| #t99.{core::Map::[]=}(#t101.{core::MapEntry::key}, #t101.{core::MapEntry::value}); |
| } |
| } =>#t99]; |
| } |
| static method bar<X extends core::List<core::int>? = core::List<core::int>?, Y extends core::Set<core::int>? = core::Set<core::int>?, Z extends core::Iterable<core::int>? = core::Iterable<core::int>?, W extends core::Map<core::int, core::int>? = core::Map<core::int, core::int>?>(core::bool condition, core::Iterable<dynamic> iterable, self::bar::X% x, self::bar::Y% y, self::bar::Z% z, self::bar::W% w) → dynamic { |
| return <core::Object>[ block { |
| final core::Set<core::int> #t102 = col::LinkedHashSet::•<core::int>(); |
| for (final dynamic #t103 in invalid-expression "pkg/front_end/testcases/nnbd/issue43495.dart:50:9: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| {...x}, // Error. |
| ^") { |
| final core::int #t104 = #t103 as{TypeError,ForNonNullableByDefault} core::int; |
| #t102.{core::Set::add}(#t104); |
| } |
| } =>#t102, block { |
| final core::Set<core::int> #t105 = col::LinkedHashSet::•<core::int>(); |
| for (final dynamic #t106 in invalid-expression "pkg/front_end/testcases/nnbd/issue43495.dart:51:9: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| {...y}, // Error. |
| ^") { |
| final core::int #t107 = #t106 as{TypeError,ForNonNullableByDefault} core::int; |
| #t105.{core::Set::add}(#t107); |
| } |
| } =>#t105, block { |
| final core::Set<core::int> #t108 = col::LinkedHashSet::•<core::int>(); |
| for (final dynamic #t109 in invalid-expression "pkg/front_end/testcases/nnbd/issue43495.dart:52:9: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| {...z}, // Error. |
| ^") { |
| final core::int #t110 = #t109 as{TypeError,ForNonNullableByDefault} core::int; |
| #t108.{core::Set::add}(#t110); |
| } |
| } =>#t108, <core::int, core::int>{invalid-expression "pkg/front_end/testcases/nnbd/issue43495.dart:53:9: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| {...w}, // Error. |
| ^": null}, <core::int, core::int>{invalid-expression "pkg/front_end/testcases/nnbd/issue43495.dart:54:19: Error: Unexpected type 'X' of a map spread entry. Expected 'dynamic' or a Map. |
| <int, int>{...x}, // Error. |
| ^": null}, let final core::Set<core::int> #t111 = col::LinkedHashSet::•<core::int>() in let final dynamic #t112 = #t111.{core::Set::add}(invalid-expression "pkg/front_end/testcases/nnbd/issue43495.dart:55:14: Error: Unexpected type 'W' of a spread. Expected 'dynamic' or an Iterable. |
| <int>{...w}, // Error. |
| ^") in #t111, block { |
| final core::Set<core::int> #t113 = col::LinkedHashSet::•<core::int>(); |
| if(condition) |
| for (final dynamic #t114 in invalid-expression "pkg/front_end/testcases/nnbd/issue43495.dart:56:24: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| {if (condition) ...x}, // Error. |
| ^") { |
| final core::int #t115 = #t114 as{TypeError,ForNonNullableByDefault} core::int; |
| #t113.{core::Set::add}(#t115); |
| } |
| } =>#t113, block { |
| final core::Set<core::int> #t116 = col::LinkedHashSet::•<core::int>(); |
| if(condition) |
| for (final dynamic #t117 in invalid-expression "pkg/front_end/testcases/nnbd/issue43495.dart:57:24: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| {if (condition) ...y}, // Error. |
| ^") { |
| final core::int #t118 = #t117 as{TypeError,ForNonNullableByDefault} core::int; |
| #t116.{core::Set::add}(#t118); |
| } |
| } =>#t116, block { |
| final core::Set<core::int> #t119 = col::LinkedHashSet::•<core::int>(); |
| if(condition) |
| for (final dynamic #t120 in invalid-expression "pkg/front_end/testcases/nnbd/issue43495.dart:58:24: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| {if (condition) ...z}, // Error. |
| ^") { |
| final core::int #t121 = #t120 as{TypeError,ForNonNullableByDefault} core::int; |
| #t119.{core::Set::add}(#t121); |
| } |
| } =>#t119, block { |
| final core::Map<core::int, core::int> #t122 = <core::int, core::int>{}; |
| if(condition) |
| #t122.{core::Map::[]=}(invalid-expression "pkg/front_end/testcases/nnbd/issue43495.dart:59:24: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| {if (condition) ...w}, // Error. |
| ^", null); |
| } =>#t122, block { |
| final core::Set<core::int> #t123 = col::LinkedHashSet::•<core::int>(); |
| for (dynamic e in iterable) |
| for (final dynamic #t124 in invalid-expression "pkg/front_end/testcases/nnbd/issue43495.dart:60:37: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| {for (dynamic e in iterable) ...x}, // Error. |
| ^") { |
| final core::int #t125 = #t124 as{TypeError,ForNonNullableByDefault} core::int; |
| #t123.{core::Set::add}(#t125); |
| } |
| } =>#t123, block { |
| final core::Set<core::int> #t126 = col::LinkedHashSet::•<core::int>(); |
| for (dynamic e in iterable) |
| for (final dynamic #t127 in invalid-expression "pkg/front_end/testcases/nnbd/issue43495.dart:61:37: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| {for (dynamic e in iterable) ...y}, // Error. |
| ^") { |
| final core::int #t128 = #t127 as{TypeError,ForNonNullableByDefault} core::int; |
| #t126.{core::Set::add}(#t128); |
| } |
| } =>#t126, block { |
| final core::Set<core::int> #t129 = col::LinkedHashSet::•<core::int>(); |
| for (dynamic e in iterable) |
| for (final dynamic #t130 in invalid-expression "pkg/front_end/testcases/nnbd/issue43495.dart:62:37: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| {for (dynamic e in iterable) ...z}, // Error. |
| ^") { |
| final core::int #t131 = #t130 as{TypeError,ForNonNullableByDefault} core::int; |
| #t129.{core::Set::add}(#t131); |
| } |
| } =>#t129, block { |
| final core::Map<core::int, core::int> #t132 = <core::int, core::int>{}; |
| for (dynamic e in iterable) |
| #t132.{core::Map::[]=}(invalid-expression "pkg/front_end/testcases/nnbd/issue43495.dart:63:37: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| {for (dynamic e in iterable) ...w}, // Error. |
| ^", null); |
| } =>#t132, block { |
| final core::Set<core::int> #t133 = col::LinkedHashSet::•<core::int>(); |
| for (core::int i = 0; i.{core::num::<}(42); i = i.{core::num::+}(1)) |
| for (final dynamic #t134 in invalid-expression "pkg/front_end/testcases/nnbd/issue43495.dart:64:38: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| {for (int i = 0; i < 42; ++i) ...x}, // Error. |
| ^") { |
| final core::int #t135 = #t134 as{TypeError,ForNonNullableByDefault} core::int; |
| #t133.{core::Set::add}(#t135); |
| } |
| } =>#t133, block { |
| final core::Set<core::int> #t136 = col::LinkedHashSet::•<core::int>(); |
| for (core::int i = 0; i.{core::num::<}(42); i = i.{core::num::+}(1)) |
| for (final dynamic #t137 in invalid-expression "pkg/front_end/testcases/nnbd/issue43495.dart:65:38: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| {for (int i = 0; i < 42; ++i) ...y}, // Error. |
| ^") { |
| final core::int #t138 = #t137 as{TypeError,ForNonNullableByDefault} core::int; |
| #t136.{core::Set::add}(#t138); |
| } |
| } =>#t136, block { |
| final core::Set<core::int> #t139 = col::LinkedHashSet::•<core::int>(); |
| for (core::int i = 0; i.{core::num::<}(42); i = i.{core::num::+}(1)) |
| for (final dynamic #t140 in invalid-expression "pkg/front_end/testcases/nnbd/issue43495.dart:66:38: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| {for (int i = 0; i < 42; ++i) ...z}, // Error. |
| ^") { |
| final core::int #t141 = #t140 as{TypeError,ForNonNullableByDefault} core::int; |
| #t139.{core::Set::add}(#t141); |
| } |
| } =>#t139, block { |
| final core::Map<core::int, core::int> #t142 = <core::int, core::int>{}; |
| for (core::int i = 0; i.{core::num::<}(42); i = i.{core::num::+}(1)) |
| #t142.{core::Map::[]=}(invalid-expression "pkg/front_end/testcases/nnbd/issue43495.dart:67:38: Error: An expression whose value can be 'null' must be null-checked before it can be dereferenced. |
| {for (int i = 0; i < 42; ++i) ...w}, // Error. |
| ^", null); |
| } =>#t142, block { |
| final core::Set<core::int> #t143 = col::LinkedHashSet::•<core::int>(); |
| final core::Iterable<dynamic>? #t144 = x; |
| if(!#t144.{core::Object::==}(null)) |
| for (final dynamic #t145 in #t144{core::Iterable<dynamic>}) { |
| final core::int #t146 = #t145 as{TypeError,ForNonNullableByDefault} core::int; |
| #t143.{core::Set::add}(#t146); |
| } |
| } =>#t143, block { |
| final core::Set<core::int> #t147 = col::LinkedHashSet::•<core::int>(); |
| final core::Iterable<dynamic>? #t148 = y; |
| if(!#t148.{core::Object::==}(null)) |
| for (final dynamic #t149 in #t148{core::Iterable<dynamic>}) { |
| final core::int #t150 = #t149 as{TypeError,ForNonNullableByDefault} core::int; |
| #t147.{core::Set::add}(#t150); |
| } |
| } =>#t147, block { |
| final core::Set<core::int> #t151 = col::LinkedHashSet::•<core::int>(); |
| final core::Iterable<dynamic>? #t152 = z; |
| if(!#t152.{core::Object::==}(null)) |
| for (final dynamic #t153 in #t152{core::Iterable<dynamic>}) { |
| final core::int #t154 = #t153 as{TypeError,ForNonNullableByDefault} core::int; |
| #t151.{core::Set::add}(#t154); |
| } |
| } =>#t151, block { |
| final core::Map<core::int, core::int> #t155 = <core::int, core::int>{}; |
| final core::Map<core::int, core::int>? #t156 = w; |
| if(!#t156.{core::Object::==}(null)) |
| for (final core::MapEntry<core::int, core::int> #t157 in #t156{core::Map<core::int, core::int>}.{core::Map::entries}) |
| #t155.{core::Map::[]=}(#t157.{core::MapEntry::key}, #t157.{core::MapEntry::value}); |
| } =>#t155, block { |
| final core::Set<core::int> #t158 = col::LinkedHashSet::•<core::int>(); |
| if(condition) { |
| final core::Iterable<dynamic>? #t159 = x; |
| if(!#t159.{core::Object::==}(null)) |
| for (final dynamic #t160 in #t159{core::Iterable<dynamic>}) { |
| final core::int #t161 = #t160 as{TypeError,ForNonNullableByDefault} core::int; |
| #t158.{core::Set::add}(#t161); |
| } |
| } |
| } =>#t158, block { |
| final core::Set<core::int> #t162 = col::LinkedHashSet::•<core::int>(); |
| if(condition) { |
| final core::Iterable<dynamic>? #t163 = y; |
| if(!#t163.{core::Object::==}(null)) |
| for (final dynamic #t164 in #t163{core::Iterable<dynamic>}) { |
| final core::int #t165 = #t164 as{TypeError,ForNonNullableByDefault} core::int; |
| #t162.{core::Set::add}(#t165); |
| } |
| } |
| } =>#t162, block { |
| final core::Set<core::int> #t166 = col::LinkedHashSet::•<core::int>(); |
| if(condition) { |
| final core::Iterable<dynamic>? #t167 = z; |
| if(!#t167.{core::Object::==}(null)) |
| for (final dynamic #t168 in #t167{core::Iterable<dynamic>}) { |
| final core::int #t169 = #t168 as{TypeError,ForNonNullableByDefault} core::int; |
| #t166.{core::Set::add}(#t169); |
| } |
| } |
| } =>#t166, block { |
| final core::Map<core::int, core::int> #t170 = <core::int, core::int>{}; |
| if(condition) { |
| final core::Map<core::int, core::int>? #t171 = w; |
| if(!#t171.{core::Object::==}(null)) |
| for (final core::MapEntry<core::int, core::int> #t172 in #t171{core::Map<core::int, core::int>}.{core::Map::entries}) |
| #t170.{core::Map::[]=}(#t172.{core::MapEntry::key}, #t172.{core::MapEntry::value}); |
| } |
| } =>#t170, block { |
| final core::Set<core::int> #t173 = col::LinkedHashSet::•<core::int>(); |
| for (dynamic e in iterable) { |
| final core::Iterable<dynamic>? #t174 = x; |
| if(!#t174.{core::Object::==}(null)) |
| for (final dynamic #t175 in #t174{core::Iterable<dynamic>}) { |
| final core::int #t176 = #t175 as{TypeError,ForNonNullableByDefault} core::int; |
| #t173.{core::Set::add}(#t176); |
| } |
| } |
| } =>#t173, block { |
| final core::Set<core::int> #t177 = col::LinkedHashSet::•<core::int>(); |
| for (dynamic e in iterable) { |
| final core::Iterable<dynamic>? #t178 = y; |
| if(!#t178.{core::Object::==}(null)) |
| for (final dynamic #t179 in #t178{core::Iterable<dynamic>}) { |
| final core::int #t180 = #t179 as{TypeError,ForNonNullableByDefault} core::int; |
| #t177.{core::Set::add}(#t180); |
| } |
| } |
| } =>#t177, block { |
| final core::Set<core::int> #t181 = col::LinkedHashSet::•<core::int>(); |
| for (dynamic e in iterable) { |
| final core::Iterable<dynamic>? #t182 = z; |
| if(!#t182.{core::Object::==}(null)) |
| for (final dynamic #t183 in #t182{core::Iterable<dynamic>}) { |
| final core::int #t184 = #t183 as{TypeError,ForNonNullableByDefault} core::int; |
| #t181.{core::Set::add}(#t184); |
| } |
| } |
| } =>#t181, block { |
| final core::Map<core::int, core::int> #t185 = <core::int, core::int>{}; |
| for (dynamic e in iterable) { |
| final core::Map<core::int, core::int>? #t186 = w; |
| if(!#t186.{core::Object::==}(null)) |
| for (final core::MapEntry<core::int, core::int> #t187 in #t186{core::Map<core::int, core::int>}.{core::Map::entries}) |
| #t185.{core::Map::[]=}(#t187.{core::MapEntry::key}, #t187.{core::MapEntry::value}); |
| } |
| } =>#t185, block { |
| final core::Set<core::int> #t188 = col::LinkedHashSet::•<core::int>(); |
| for (core::int i = 0; i.{core::num::<}(42); i = i.{core::num::+}(1)) { |
| final core::Iterable<dynamic>? #t189 = x; |
| if(!#t189.{core::Object::==}(null)) |
| for (final dynamic #t190 in #t189{core::Iterable<dynamic>}) { |
| final core::int #t191 = #t190 as{TypeError,ForNonNullableByDefault} core::int; |
| #t188.{core::Set::add}(#t191); |
| } |
| } |
| } =>#t188, block { |
| final core::Set<core::int> #t192 = col::LinkedHashSet::•<core::int>(); |
| for (core::int i = 0; i.{core::num::<}(42); i = i.{core::num::+}(1)) { |
| final core::Iterable<dynamic>? #t193 = y; |
| if(!#t193.{core::Object::==}(null)) |
| for (final dynamic #t194 in #t193{core::Iterable<dynamic>}) { |
| final core::int #t195 = #t194 as{TypeError,ForNonNullableByDefault} core::int; |
| #t192.{core::Set::add}(#t195); |
| } |
| } |
| } =>#t192, block { |
| final core::Set<core::int> #t196 = col::LinkedHashSet::•<core::int>(); |
| for (core::int i = 0; i.{core::num::<}(42); i = i.{core::num::+}(1)) { |
| final core::Iterable<dynamic>? #t197 = z; |
| if(!#t197.{core::Object::==}(null)) |
| for (final dynamic #t198 in #t197{core::Iterable<dynamic>}) { |
| final core::int #t199 = #t198 as{TypeError,ForNonNullableByDefault} core::int; |
| #t196.{core::Set::add}(#t199); |
| } |
| } |
| } =>#t196, block { |
| final core::Map<core::int, core::int> #t200 = <core::int, core::int>{}; |
| for (core::int i = 0; i.{core::num::<}(42); i = i.{core::num::+}(1)) { |
| final core::Map<core::int, core::int>? #t201 = w; |
| if(!#t201.{core::Object::==}(null)) |
| for (final core::MapEntry<core::int, core::int> #t202 in #t201{core::Map<core::int, core::int>}.{core::Map::entries}) |
| #t200.{core::Map::[]=}(#t202.{core::MapEntry::key}, #t202.{core::MapEntry::value}); |
| } |
| } =>#t200]; |
| } |
| static method main() → dynamic {} |