| 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::of<core::int>(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. |
| ^"); |
| } =>#t1, block { |
| final core::Set<core::int> #t2 = col::LinkedHashSet::of<core::int>(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. |
| ^"); |
| } =>#t2, block { |
| final core::Set<core::int> #t3 = col::LinkedHashSet::of<core::int>(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. |
| ^"); |
| } =>#t3, <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}, block { |
| final core::Set<core::int> #t4 = new col::_CompactLinkedHashSet::•<core::int>(); |
| #t4.{core::Set::add}{Invariant}(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. |
| ^"){(core::int) → core::bool}; |
| } =>#t4, block { |
| final core::Set<core::int> #t5 = new col::_CompactLinkedHashSet::•<core::int>(); |
| if(condition) { |
| core::Iterator<Never> :sync-for-iterator = 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. |
| ^".{core::Iterable::iterator}{core::Iterator<Never>}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final dynamic #t6 = :sync-for-iterator.{core::Iterator::current}{Never}; |
| { |
| final core::int #t7 = #t6 as{TypeError,ForNonNullableByDefault} core::int; |
| #t5.{core::Set::add}{Invariant}(#t7){(core::int) → core::bool}; |
| } |
| } |
| } |
| } =>#t5, block { |
| final core::Set<core::int> #t8 = new col::_CompactLinkedHashSet::•<core::int>(); |
| if(condition) { |
| core::Iterator<Never> :sync-for-iterator = 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. |
| ^".{core::Iterable::iterator}{core::Iterator<Never>}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final dynamic #t9 = :sync-for-iterator.{core::Iterator::current}{Never}; |
| { |
| final core::int #t10 = #t9 as{TypeError,ForNonNullableByDefault} core::int; |
| #t8.{core::Set::add}{Invariant}(#t10){(core::int) → core::bool}; |
| } |
| } |
| } |
| } =>#t8, block { |
| final core::Set<core::int> #t11 = new col::_CompactLinkedHashSet::•<core::int>(); |
| if(condition) { |
| core::Iterator<Never> :sync-for-iterator = 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. |
| ^".{core::Iterable::iterator}{core::Iterator<Never>}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final dynamic #t12 = :sync-for-iterator.{core::Iterator::current}{Never}; |
| { |
| final core::int #t13 = #t12 as{TypeError,ForNonNullableByDefault} core::int; |
| #t11.{core::Set::add}{Invariant}(#t13){(core::int) → core::bool}; |
| } |
| } |
| } |
| } =>#t11, block { |
| final core::Map<core::int, core::int> #t14 = <core::int, core::int>{}; |
| if(condition) |
| #t14.{core::Map::[]=}{Invariant}(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){(core::int, core::int) → void}; |
| } =>#t14, block { |
| final core::Set<core::int> #t15 = new col::_CompactLinkedHashSet::•<core::int>(); |
| { |
| core::Iterator<dynamic> :sync-for-iterator = iterable.{core::Iterable::iterator}{core::Iterator<dynamic>}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| dynamic e = :sync-for-iterator.{core::Iterator::current}{dynamic}; |
| { |
| core::Iterator<Never> :sync-for-iterator = 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. |
| ^".{core::Iterable::iterator}{core::Iterator<Never>}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final dynamic #t16 = :sync-for-iterator.{core::Iterator::current}{Never}; |
| { |
| final core::int #t17 = #t16 as{TypeError,ForNonNullableByDefault} core::int; |
| #t15.{core::Set::add}{Invariant}(#t17){(core::int) → core::bool}; |
| } |
| } |
| } |
| } |
| } |
| } =>#t15, block { |
| final core::Set<core::int> #t18 = new col::_CompactLinkedHashSet::•<core::int>(); |
| { |
| core::Iterator<dynamic> :sync-for-iterator = iterable.{core::Iterable::iterator}{core::Iterator<dynamic>}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| dynamic e = :sync-for-iterator.{core::Iterator::current}{dynamic}; |
| { |
| core::Iterator<Never> :sync-for-iterator = 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. |
| ^".{core::Iterable::iterator}{core::Iterator<Never>}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final dynamic #t19 = :sync-for-iterator.{core::Iterator::current}{Never}; |
| { |
| final core::int #t20 = #t19 as{TypeError,ForNonNullableByDefault} core::int; |
| #t18.{core::Set::add}{Invariant}(#t20){(core::int) → core::bool}; |
| } |
| } |
| } |
| } |
| } |
| } =>#t18, block { |
| final core::Set<core::int> #t21 = new col::_CompactLinkedHashSet::•<core::int>(); |
| { |
| core::Iterator<dynamic> :sync-for-iterator = iterable.{core::Iterable::iterator}{core::Iterator<dynamic>}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| dynamic e = :sync-for-iterator.{core::Iterator::current}{dynamic}; |
| { |
| core::Iterator<Never> :sync-for-iterator = 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. |
| ^".{core::Iterable::iterator}{core::Iterator<Never>}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final dynamic #t22 = :sync-for-iterator.{core::Iterator::current}{Never}; |
| { |
| final core::int #t23 = #t22 as{TypeError,ForNonNullableByDefault} core::int; |
| #t21.{core::Set::add}{Invariant}(#t23){(core::int) → core::bool}; |
| } |
| } |
| } |
| } |
| } |
| } =>#t21, block { |
| final core::Map<core::int, core::int> #t24 = <core::int, core::int>{}; |
| { |
| core::Iterator<dynamic> :sync-for-iterator = iterable.{core::Iterable::iterator}{core::Iterator<dynamic>}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| dynamic e = :sync-for-iterator.{core::Iterator::current}{dynamic}; |
| #t24.{core::Map::[]=}{Invariant}(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){(core::int, core::int) → void}; |
| } |
| } |
| } =>#t24, block { |
| final core::Set<core::int> #t25 = new col::_CompactLinkedHashSet::•<core::int>(); |
| for (core::int i = 0; i.{core::num::<}(42){(core::num) → core::bool}; i = i.{core::num::+}(1){(core::num) → core::int}) { |
| core::Iterator<Never> :sync-for-iterator = 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. |
| ^".{core::Iterable::iterator}{core::Iterator<Never>}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final dynamic #t26 = :sync-for-iterator.{core::Iterator::current}{Never}; |
| { |
| final core::int #t27 = #t26 as{TypeError,ForNonNullableByDefault} core::int; |
| #t25.{core::Set::add}{Invariant}(#t27){(core::int) → core::bool}; |
| } |
| } |
| } |
| } =>#t25, block { |
| final core::Set<core::int> #t28 = new col::_CompactLinkedHashSet::•<core::int>(); |
| for (core::int i = 0; i.{core::num::<}(42){(core::num) → core::bool}; i = i.{core::num::+}(1){(core::num) → core::int}) { |
| core::Iterator<Never> :sync-for-iterator = 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. |
| ^".{core::Iterable::iterator}{core::Iterator<Never>}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final dynamic #t29 = :sync-for-iterator.{core::Iterator::current}{Never}; |
| { |
| final core::int #t30 = #t29 as{TypeError,ForNonNullableByDefault} core::int; |
| #t28.{core::Set::add}{Invariant}(#t30){(core::int) → core::bool}; |
| } |
| } |
| } |
| } =>#t28, block { |
| final core::Set<core::int> #t31 = new col::_CompactLinkedHashSet::•<core::int>(); |
| for (core::int i = 0; i.{core::num::<}(42){(core::num) → core::bool}; i = i.{core::num::+}(1){(core::num) → core::int}) { |
| core::Iterator<Never> :sync-for-iterator = 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. |
| ^".{core::Iterable::iterator}{core::Iterator<Never>}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final dynamic #t32 = :sync-for-iterator.{core::Iterator::current}{Never}; |
| { |
| final core::int #t33 = #t32 as{TypeError,ForNonNullableByDefault} core::int; |
| #t31.{core::Set::add}{Invariant}(#t33){(core::int) → core::bool}; |
| } |
| } |
| } |
| } =>#t31, block { |
| final core::Map<core::int, core::int> #t34 = <core::int, core::int>{}; |
| for (core::int i = 0; i.{core::num::<}(42){(core::num) → core::bool}; i = i.{core::num::+}(1){(core::num) → core::int}) |
| #t34.{core::Map::[]=}{Invariant}(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){(core::int, core::int) → void}; |
| } =>#t34, block { |
| final core::Set<core::int> #t35 = new col::_CompactLinkedHashSet::•<core::int>(); |
| final core::Iterable<core::int>? #t36 = a; |
| if(!(#t36 == null)) |
| #t35.{core::Set::addAll}{Invariant}(#t36{core::Iterable<core::int>}){(core::Iterable<core::int>) → void}; |
| } =>#t35, block { |
| final core::Set<core::int> #t37 = new col::_CompactLinkedHashSet::•<core::int>(); |
| final core::Iterable<core::int>? #t38 = b; |
| if(!(#t38 == null)) |
| #t37.{core::Set::addAll}{Invariant}(#t38{core::Iterable<core::int>}){(core::Iterable<core::int>) → void}; |
| } =>#t37, block { |
| final core::Set<core::int> #t39 = new col::_CompactLinkedHashSet::•<core::int>(); |
| final core::Iterable<core::int>? #t40 = c; |
| if(!(#t40 == null)) |
| #t39.{core::Set::addAll}{Invariant}(#t40{core::Iterable<core::int>}){(core::Iterable<core::int>) → void}; |
| } =>#t39, block { |
| final core::Map<core::int, core::int> #t41 = <core::int, core::int>{}; |
| final core::Map<core::int, core::int>? #t42 = d; |
| if(!(#t42 == null)) |
| #t41.{core::Map::addAll}{Invariant}(#t42{core::Map<core::int, core::int>}){(core::Map<core::int, core::int>) → void}; |
| } =>#t41, block { |
| final core::Set<core::int> #t43 = new col::_CompactLinkedHashSet::•<core::int>(); |
| if(condition) { |
| final core::Iterable<dynamic>? #t44 = a; |
| if(!(#t44 == null)) { |
| core::Iterator<dynamic> :sync-for-iterator = #t44{core::Iterable<dynamic>}.{core::Iterable::iterator}{core::Iterator<dynamic>}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final dynamic #t45 = :sync-for-iterator.{core::Iterator::current}{dynamic}; |
| { |
| final core::int #t46 = #t45 as{TypeError,ForNonNullableByDefault} core::int; |
| #t43.{core::Set::add}{Invariant}(#t46){(core::int) → core::bool}; |
| } |
| } |
| } |
| } |
| } =>#t43, block { |
| final core::Set<core::int> #t47 = new col::_CompactLinkedHashSet::•<core::int>(); |
| if(condition) { |
| final core::Iterable<dynamic>? #t48 = b; |
| if(!(#t48 == null)) { |
| core::Iterator<dynamic> :sync-for-iterator = #t48{core::Iterable<dynamic>}.{core::Iterable::iterator}{core::Iterator<dynamic>}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final dynamic #t49 = :sync-for-iterator.{core::Iterator::current}{dynamic}; |
| { |
| final core::int #t50 = #t49 as{TypeError,ForNonNullableByDefault} core::int; |
| #t47.{core::Set::add}{Invariant}(#t50){(core::int) → core::bool}; |
| } |
| } |
| } |
| } |
| } =>#t47, block { |
| final core::Set<core::int> #t51 = new col::_CompactLinkedHashSet::•<core::int>(); |
| if(condition) { |
| final core::Iterable<dynamic>? #t52 = c; |
| if(!(#t52 == null)) { |
| core::Iterator<dynamic> :sync-for-iterator = #t52{core::Iterable<dynamic>}.{core::Iterable::iterator}{core::Iterator<dynamic>}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final dynamic #t53 = :sync-for-iterator.{core::Iterator::current}{dynamic}; |
| { |
| final core::int #t54 = #t53 as{TypeError,ForNonNullableByDefault} core::int; |
| #t51.{core::Set::add}{Invariant}(#t54){(core::int) → core::bool}; |
| } |
| } |
| } |
| } |
| } =>#t51, block { |
| final core::Map<core::int, core::int> #t55 = <core::int, core::int>{}; |
| if(condition) { |
| final core::Map<core::int, core::int>? #t56 = d; |
| if(!(#t56 == null)) |
| #t55.{core::Map::addAll}{Invariant}(#t56{core::Map<core::int, core::int>}){(core::Map<core::int, core::int>) → void}; |
| } |
| } =>#t55, block { |
| final core::Set<core::int> #t57 = new col::_CompactLinkedHashSet::•<core::int>(); |
| { |
| core::Iterator<dynamic> :sync-for-iterator = iterable.{core::Iterable::iterator}{core::Iterator<dynamic>}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| dynamic e = :sync-for-iterator.{core::Iterator::current}{dynamic}; |
| { |
| final core::Iterable<dynamic>? #t58 = a; |
| if(!(#t58 == null)) { |
| core::Iterator<dynamic> :sync-for-iterator = #t58{core::Iterable<dynamic>}.{core::Iterable::iterator}{core::Iterator<dynamic>}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final dynamic #t59 = :sync-for-iterator.{core::Iterator::current}{dynamic}; |
| { |
| final core::int #t60 = #t59 as{TypeError,ForNonNullableByDefault} core::int; |
| #t57.{core::Set::add}{Invariant}(#t60){(core::int) → core::bool}; |
| } |
| } |
| } |
| } |
| } |
| } |
| } =>#t57, block { |
| final core::Set<core::int> #t61 = new col::_CompactLinkedHashSet::•<core::int>(); |
| { |
| core::Iterator<dynamic> :sync-for-iterator = iterable.{core::Iterable::iterator}{core::Iterator<dynamic>}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| dynamic e = :sync-for-iterator.{core::Iterator::current}{dynamic}; |
| { |
| final core::Iterable<dynamic>? #t62 = b; |
| if(!(#t62 == null)) { |
| core::Iterator<dynamic> :sync-for-iterator = #t62{core::Iterable<dynamic>}.{core::Iterable::iterator}{core::Iterator<dynamic>}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final dynamic #t63 = :sync-for-iterator.{core::Iterator::current}{dynamic}; |
| { |
| final core::int #t64 = #t63 as{TypeError,ForNonNullableByDefault} core::int; |
| #t61.{core::Set::add}{Invariant}(#t64){(core::int) → core::bool}; |
| } |
| } |
| } |
| } |
| } |
| } |
| } =>#t61, block { |
| final core::Set<core::int> #t65 = new col::_CompactLinkedHashSet::•<core::int>(); |
| { |
| core::Iterator<dynamic> :sync-for-iterator = iterable.{core::Iterable::iterator}{core::Iterator<dynamic>}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| dynamic e = :sync-for-iterator.{core::Iterator::current}{dynamic}; |
| { |
| final core::Iterable<dynamic>? #t66 = c; |
| if(!(#t66 == null)) { |
| core::Iterator<dynamic> :sync-for-iterator = #t66{core::Iterable<dynamic>}.{core::Iterable::iterator}{core::Iterator<dynamic>}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final dynamic #t67 = :sync-for-iterator.{core::Iterator::current}{dynamic}; |
| { |
| final core::int #t68 = #t67 as{TypeError,ForNonNullableByDefault} core::int; |
| #t65.{core::Set::add}{Invariant}(#t68){(core::int) → core::bool}; |
| } |
| } |
| } |
| } |
| } |
| } |
| } =>#t65, block { |
| final core::Map<core::int, core::int> #t69 = <core::int, core::int>{}; |
| { |
| core::Iterator<dynamic> :sync-for-iterator = iterable.{core::Iterable::iterator}{core::Iterator<dynamic>}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| dynamic e = :sync-for-iterator.{core::Iterator::current}{dynamic}; |
| { |
| final core::Map<core::int, core::int>? #t70 = d; |
| if(!(#t70 == null)) |
| #t69.{core::Map::addAll}{Invariant}(#t70{core::Map<core::int, core::int>}){(core::Map<core::int, core::int>) → void}; |
| } |
| } |
| } |
| } =>#t69, block { |
| final core::Set<core::int> #t71 = new col::_CompactLinkedHashSet::•<core::int>(); |
| for (core::int i = 0; i.{core::num::<}(42){(core::num) → core::bool}; i = i.{core::num::+}(1){(core::num) → core::int}) { |
| final core::Iterable<dynamic>? #t72 = a; |
| if(!(#t72 == null)) { |
| core::Iterator<dynamic> :sync-for-iterator = #t72{core::Iterable<dynamic>}.{core::Iterable::iterator}{core::Iterator<dynamic>}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final dynamic #t73 = :sync-for-iterator.{core::Iterator::current}{dynamic}; |
| { |
| final core::int #t74 = #t73 as{TypeError,ForNonNullableByDefault} core::int; |
| #t71.{core::Set::add}{Invariant}(#t74){(core::int) → core::bool}; |
| } |
| } |
| } |
| } |
| } =>#t71, block { |
| final core::Set<core::int> #t75 = new col::_CompactLinkedHashSet::•<core::int>(); |
| for (core::int i = 0; i.{core::num::<}(42){(core::num) → core::bool}; i = i.{core::num::+}(1){(core::num) → core::int}) { |
| final core::Iterable<dynamic>? #t76 = b; |
| if(!(#t76 == null)) { |
| core::Iterator<dynamic> :sync-for-iterator = #t76{core::Iterable<dynamic>}.{core::Iterable::iterator}{core::Iterator<dynamic>}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final dynamic #t77 = :sync-for-iterator.{core::Iterator::current}{dynamic}; |
| { |
| final core::int #t78 = #t77 as{TypeError,ForNonNullableByDefault} core::int; |
| #t75.{core::Set::add}{Invariant}(#t78){(core::int) → core::bool}; |
| } |
| } |
| } |
| } |
| } =>#t75, block { |
| final core::Set<core::int> #t79 = new col::_CompactLinkedHashSet::•<core::int>(); |
| for (core::int i = 0; i.{core::num::<}(42){(core::num) → core::bool}; i = i.{core::num::+}(1){(core::num) → core::int}) { |
| final core::Iterable<dynamic>? #t80 = c; |
| if(!(#t80 == null)) { |
| core::Iterator<dynamic> :sync-for-iterator = #t80{core::Iterable<dynamic>}.{core::Iterable::iterator}{core::Iterator<dynamic>}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final dynamic #t81 = :sync-for-iterator.{core::Iterator::current}{dynamic}; |
| { |
| final core::int #t82 = #t81 as{TypeError,ForNonNullableByDefault} core::int; |
| #t79.{core::Set::add}{Invariant}(#t82){(core::int) → core::bool}; |
| } |
| } |
| } |
| } |
| } =>#t79, block { |
| final core::Map<core::int, core::int> #t83 = <core::int, core::int>{}; |
| for (core::int i = 0; i.{core::num::<}(42){(core::num) → core::bool}; i = i.{core::num::+}(1){(core::num) → core::int}) { |
| final core::Map<core::int, core::int>? #t84 = d; |
| if(!(#t84 == null)) |
| #t83.{core::Map::addAll}{Invariant}(#t84{core::Map<core::int, core::int>}){(core::Map<core::int, core::int>) → void}; |
| } |
| } =>#t83]; |
| } |
| static method bar<X extends core::List<core::int>?, Y extends core::Set<core::int>?, Z extends core::Iterable<core::int>?, W extends 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> #t85 = col::LinkedHashSet::of<core::int>(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. |
| ^"); |
| } =>#t85, block { |
| final core::Set<core::int> #t86 = col::LinkedHashSet::of<core::int>(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. |
| ^"); |
| } =>#t86, block { |
| final core::Set<core::int> #t87 = col::LinkedHashSet::of<core::int>(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. |
| ^"); |
| } =>#t87, <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}, block { |
| final core::Set<core::int> #t88 = new col::_CompactLinkedHashSet::•<core::int>(); |
| #t88.{core::Set::add}{Invariant}(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. |
| ^"){(core::int) → core::bool}; |
| } =>#t88, block { |
| final core::Set<core::int> #t89 = new col::_CompactLinkedHashSet::•<core::int>(); |
| if(condition) { |
| core::Iterator<Never> :sync-for-iterator = 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. |
| ^".{core::Iterable::iterator}{core::Iterator<Never>}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final dynamic #t90 = :sync-for-iterator.{core::Iterator::current}{Never}; |
| { |
| final core::int #t91 = #t90 as{TypeError,ForNonNullableByDefault} core::int; |
| #t89.{core::Set::add}{Invariant}(#t91){(core::int) → core::bool}; |
| } |
| } |
| } |
| } =>#t89, block { |
| final core::Set<core::int> #t92 = new col::_CompactLinkedHashSet::•<core::int>(); |
| if(condition) { |
| core::Iterator<Never> :sync-for-iterator = 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. |
| ^".{core::Iterable::iterator}{core::Iterator<Never>}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final dynamic #t93 = :sync-for-iterator.{core::Iterator::current}{Never}; |
| { |
| final core::int #t94 = #t93 as{TypeError,ForNonNullableByDefault} core::int; |
| #t92.{core::Set::add}{Invariant}(#t94){(core::int) → core::bool}; |
| } |
| } |
| } |
| } =>#t92, block { |
| final core::Set<core::int> #t95 = new col::_CompactLinkedHashSet::•<core::int>(); |
| if(condition) { |
| core::Iterator<Never> :sync-for-iterator = 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. |
| ^".{core::Iterable::iterator}{core::Iterator<Never>}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final dynamic #t96 = :sync-for-iterator.{core::Iterator::current}{Never}; |
| { |
| final core::int #t97 = #t96 as{TypeError,ForNonNullableByDefault} core::int; |
| #t95.{core::Set::add}{Invariant}(#t97){(core::int) → core::bool}; |
| } |
| } |
| } |
| } =>#t95, block { |
| final core::Map<core::int, core::int> #t98 = <core::int, core::int>{}; |
| if(condition) |
| #t98.{core::Map::[]=}{Invariant}(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){(core::int, core::int) → void}; |
| } =>#t98, block { |
| final core::Set<core::int> #t99 = new col::_CompactLinkedHashSet::•<core::int>(); |
| { |
| core::Iterator<dynamic> :sync-for-iterator = iterable.{core::Iterable::iterator}{core::Iterator<dynamic>}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| dynamic e = :sync-for-iterator.{core::Iterator::current}{dynamic}; |
| { |
| core::Iterator<Never> :sync-for-iterator = 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. |
| ^".{core::Iterable::iterator}{core::Iterator<Never>}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final dynamic #t100 = :sync-for-iterator.{core::Iterator::current}{Never}; |
| { |
| final core::int #t101 = #t100 as{TypeError,ForNonNullableByDefault} core::int; |
| #t99.{core::Set::add}{Invariant}(#t101){(core::int) → core::bool}; |
| } |
| } |
| } |
| } |
| } |
| } =>#t99, block { |
| final core::Set<core::int> #t102 = new col::_CompactLinkedHashSet::•<core::int>(); |
| { |
| core::Iterator<dynamic> :sync-for-iterator = iterable.{core::Iterable::iterator}{core::Iterator<dynamic>}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| dynamic e = :sync-for-iterator.{core::Iterator::current}{dynamic}; |
| { |
| core::Iterator<Never> :sync-for-iterator = 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. |
| ^".{core::Iterable::iterator}{core::Iterator<Never>}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final dynamic #t103 = :sync-for-iterator.{core::Iterator::current}{Never}; |
| { |
| final core::int #t104 = #t103 as{TypeError,ForNonNullableByDefault} core::int; |
| #t102.{core::Set::add}{Invariant}(#t104){(core::int) → core::bool}; |
| } |
| } |
| } |
| } |
| } |
| } =>#t102, block { |
| final core::Set<core::int> #t105 = new col::_CompactLinkedHashSet::•<core::int>(); |
| { |
| core::Iterator<dynamic> :sync-for-iterator = iterable.{core::Iterable::iterator}{core::Iterator<dynamic>}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| dynamic e = :sync-for-iterator.{core::Iterator::current}{dynamic}; |
| { |
| core::Iterator<Never> :sync-for-iterator = 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. |
| ^".{core::Iterable::iterator}{core::Iterator<Never>}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final dynamic #t106 = :sync-for-iterator.{core::Iterator::current}{Never}; |
| { |
| final core::int #t107 = #t106 as{TypeError,ForNonNullableByDefault} core::int; |
| #t105.{core::Set::add}{Invariant}(#t107){(core::int) → core::bool}; |
| } |
| } |
| } |
| } |
| } |
| } =>#t105, block { |
| final core::Map<core::int, core::int> #t108 = <core::int, core::int>{}; |
| { |
| core::Iterator<dynamic> :sync-for-iterator = iterable.{core::Iterable::iterator}{core::Iterator<dynamic>}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| dynamic e = :sync-for-iterator.{core::Iterator::current}{dynamic}; |
| #t108.{core::Map::[]=}{Invariant}(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){(core::int, core::int) → void}; |
| } |
| } |
| } =>#t108, block { |
| final core::Set<core::int> #t109 = new col::_CompactLinkedHashSet::•<core::int>(); |
| for (core::int i = 0; i.{core::num::<}(42){(core::num) → core::bool}; i = i.{core::num::+}(1){(core::num) → core::int}) { |
| core::Iterator<Never> :sync-for-iterator = 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. |
| ^".{core::Iterable::iterator}{core::Iterator<Never>}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final dynamic #t110 = :sync-for-iterator.{core::Iterator::current}{Never}; |
| { |
| final core::int #t111 = #t110 as{TypeError,ForNonNullableByDefault} core::int; |
| #t109.{core::Set::add}{Invariant}(#t111){(core::int) → core::bool}; |
| } |
| } |
| } |
| } =>#t109, block { |
| final core::Set<core::int> #t112 = new col::_CompactLinkedHashSet::•<core::int>(); |
| for (core::int i = 0; i.{core::num::<}(42){(core::num) → core::bool}; i = i.{core::num::+}(1){(core::num) → core::int}) { |
| core::Iterator<Never> :sync-for-iterator = 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. |
| ^".{core::Iterable::iterator}{core::Iterator<Never>}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final dynamic #t113 = :sync-for-iterator.{core::Iterator::current}{Never}; |
| { |
| final core::int #t114 = #t113 as{TypeError,ForNonNullableByDefault} core::int; |
| #t112.{core::Set::add}{Invariant}(#t114){(core::int) → core::bool}; |
| } |
| } |
| } |
| } =>#t112, block { |
| final core::Set<core::int> #t115 = new col::_CompactLinkedHashSet::•<core::int>(); |
| for (core::int i = 0; i.{core::num::<}(42){(core::num) → core::bool}; i = i.{core::num::+}(1){(core::num) → core::int}) { |
| core::Iterator<Never> :sync-for-iterator = 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. |
| ^".{core::Iterable::iterator}{core::Iterator<Never>}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final dynamic #t116 = :sync-for-iterator.{core::Iterator::current}{Never}; |
| { |
| final core::int #t117 = #t116 as{TypeError,ForNonNullableByDefault} core::int; |
| #t115.{core::Set::add}{Invariant}(#t117){(core::int) → core::bool}; |
| } |
| } |
| } |
| } =>#t115, block { |
| final core::Map<core::int, core::int> #t118 = <core::int, core::int>{}; |
| for (core::int i = 0; i.{core::num::<}(42){(core::num) → core::bool}; i = i.{core::num::+}(1){(core::num) → core::int}) |
| #t118.{core::Map::[]=}{Invariant}(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){(core::int, core::int) → void}; |
| } =>#t118, block { |
| final core::Set<core::int> #t119 = new col::_CompactLinkedHashSet::•<core::int>(); |
| final core::Iterable<core::int>? #t120 = x; |
| if(!(#t120 == null)) |
| #t119.{core::Set::addAll}{Invariant}(#t120{core::Iterable<core::int>}){(core::Iterable<core::int>) → void}; |
| } =>#t119, block { |
| final core::Set<core::int> #t121 = new col::_CompactLinkedHashSet::•<core::int>(); |
| final core::Iterable<core::int>? #t122 = y; |
| if(!(#t122 == null)) |
| #t121.{core::Set::addAll}{Invariant}(#t122{core::Iterable<core::int>}){(core::Iterable<core::int>) → void}; |
| } =>#t121, block { |
| final core::Set<core::int> #t123 = new col::_CompactLinkedHashSet::•<core::int>(); |
| final core::Iterable<core::int>? #t124 = z; |
| if(!(#t124 == null)) |
| #t123.{core::Set::addAll}{Invariant}(#t124{core::Iterable<core::int>}){(core::Iterable<core::int>) → void}; |
| } =>#t123, block { |
| final core::Map<core::int, core::int> #t125 = <core::int, core::int>{}; |
| final core::Map<core::int, core::int>? #t126 = w; |
| if(!(#t126 == null)) |
| #t125.{core::Map::addAll}{Invariant}(#t126{core::Map<core::int, core::int>}){(core::Map<core::int, core::int>) → void}; |
| } =>#t125, block { |
| final core::Set<core::int> #t127 = new col::_CompactLinkedHashSet::•<core::int>(); |
| if(condition) { |
| final core::Iterable<dynamic>? #t128 = x; |
| if(!(#t128 == null)) { |
| core::Iterator<dynamic> :sync-for-iterator = #t128{core::Iterable<dynamic>}.{core::Iterable::iterator}{core::Iterator<dynamic>}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final dynamic #t129 = :sync-for-iterator.{core::Iterator::current}{dynamic}; |
| { |
| final core::int #t130 = #t129 as{TypeError,ForNonNullableByDefault} core::int; |
| #t127.{core::Set::add}{Invariant}(#t130){(core::int) → core::bool}; |
| } |
| } |
| } |
| } |
| } =>#t127, block { |
| final core::Set<core::int> #t131 = new col::_CompactLinkedHashSet::•<core::int>(); |
| if(condition) { |
| final core::Iterable<dynamic>? #t132 = y; |
| if(!(#t132 == null)) { |
| core::Iterator<dynamic> :sync-for-iterator = #t132{core::Iterable<dynamic>}.{core::Iterable::iterator}{core::Iterator<dynamic>}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final dynamic #t133 = :sync-for-iterator.{core::Iterator::current}{dynamic}; |
| { |
| final core::int #t134 = #t133 as{TypeError,ForNonNullableByDefault} core::int; |
| #t131.{core::Set::add}{Invariant}(#t134){(core::int) → core::bool}; |
| } |
| } |
| } |
| } |
| } =>#t131, block { |
| final core::Set<core::int> #t135 = new col::_CompactLinkedHashSet::•<core::int>(); |
| if(condition) { |
| final core::Iterable<dynamic>? #t136 = z; |
| if(!(#t136 == null)) { |
| core::Iterator<dynamic> :sync-for-iterator = #t136{core::Iterable<dynamic>}.{core::Iterable::iterator}{core::Iterator<dynamic>}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final dynamic #t137 = :sync-for-iterator.{core::Iterator::current}{dynamic}; |
| { |
| final core::int #t138 = #t137 as{TypeError,ForNonNullableByDefault} core::int; |
| #t135.{core::Set::add}{Invariant}(#t138){(core::int) → core::bool}; |
| } |
| } |
| } |
| } |
| } =>#t135, block { |
| final core::Map<core::int, core::int> #t139 = <core::int, core::int>{}; |
| if(condition) { |
| final core::Map<core::int, core::int>? #t140 = w; |
| if(!(#t140 == null)) |
| #t139.{core::Map::addAll}{Invariant}(#t140{core::Map<core::int, core::int>}){(core::Map<core::int, core::int>) → void}; |
| } |
| } =>#t139, block { |
| final core::Set<core::int> #t141 = new col::_CompactLinkedHashSet::•<core::int>(); |
| { |
| core::Iterator<dynamic> :sync-for-iterator = iterable.{core::Iterable::iterator}{core::Iterator<dynamic>}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| dynamic e = :sync-for-iterator.{core::Iterator::current}{dynamic}; |
| { |
| final core::Iterable<dynamic>? #t142 = x; |
| if(!(#t142 == null)) { |
| core::Iterator<dynamic> :sync-for-iterator = #t142{core::Iterable<dynamic>}.{core::Iterable::iterator}{core::Iterator<dynamic>}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final dynamic #t143 = :sync-for-iterator.{core::Iterator::current}{dynamic}; |
| { |
| final core::int #t144 = #t143 as{TypeError,ForNonNullableByDefault} core::int; |
| #t141.{core::Set::add}{Invariant}(#t144){(core::int) → core::bool}; |
| } |
| } |
| } |
| } |
| } |
| } |
| } =>#t141, block { |
| final core::Set<core::int> #t145 = new col::_CompactLinkedHashSet::•<core::int>(); |
| { |
| core::Iterator<dynamic> :sync-for-iterator = iterable.{core::Iterable::iterator}{core::Iterator<dynamic>}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| dynamic e = :sync-for-iterator.{core::Iterator::current}{dynamic}; |
| { |
| final core::Iterable<dynamic>? #t146 = y; |
| if(!(#t146 == null)) { |
| core::Iterator<dynamic> :sync-for-iterator = #t146{core::Iterable<dynamic>}.{core::Iterable::iterator}{core::Iterator<dynamic>}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final dynamic #t147 = :sync-for-iterator.{core::Iterator::current}{dynamic}; |
| { |
| final core::int #t148 = #t147 as{TypeError,ForNonNullableByDefault} core::int; |
| #t145.{core::Set::add}{Invariant}(#t148){(core::int) → core::bool}; |
| } |
| } |
| } |
| } |
| } |
| } |
| } =>#t145, block { |
| final core::Set<core::int> #t149 = new col::_CompactLinkedHashSet::•<core::int>(); |
| { |
| core::Iterator<dynamic> :sync-for-iterator = iterable.{core::Iterable::iterator}{core::Iterator<dynamic>}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| dynamic e = :sync-for-iterator.{core::Iterator::current}{dynamic}; |
| { |
| final core::Iterable<dynamic>? #t150 = z; |
| if(!(#t150 == null)) { |
| core::Iterator<dynamic> :sync-for-iterator = #t150{core::Iterable<dynamic>}.{core::Iterable::iterator}{core::Iterator<dynamic>}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final dynamic #t151 = :sync-for-iterator.{core::Iterator::current}{dynamic}; |
| { |
| final core::int #t152 = #t151 as{TypeError,ForNonNullableByDefault} core::int; |
| #t149.{core::Set::add}{Invariant}(#t152){(core::int) → core::bool}; |
| } |
| } |
| } |
| } |
| } |
| } |
| } =>#t149, block { |
| final core::Map<core::int, core::int> #t153 = <core::int, core::int>{}; |
| { |
| core::Iterator<dynamic> :sync-for-iterator = iterable.{core::Iterable::iterator}{core::Iterator<dynamic>}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| dynamic e = :sync-for-iterator.{core::Iterator::current}{dynamic}; |
| { |
| final core::Map<core::int, core::int>? #t154 = w; |
| if(!(#t154 == null)) |
| #t153.{core::Map::addAll}{Invariant}(#t154{core::Map<core::int, core::int>}){(core::Map<core::int, core::int>) → void}; |
| } |
| } |
| } |
| } =>#t153, block { |
| final core::Set<core::int> #t155 = new col::_CompactLinkedHashSet::•<core::int>(); |
| for (core::int i = 0; i.{core::num::<}(42){(core::num) → core::bool}; i = i.{core::num::+}(1){(core::num) → core::int}) { |
| final core::Iterable<dynamic>? #t156 = x; |
| if(!(#t156 == null)) { |
| core::Iterator<dynamic> :sync-for-iterator = #t156{core::Iterable<dynamic>}.{core::Iterable::iterator}{core::Iterator<dynamic>}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final dynamic #t157 = :sync-for-iterator.{core::Iterator::current}{dynamic}; |
| { |
| final core::int #t158 = #t157 as{TypeError,ForNonNullableByDefault} core::int; |
| #t155.{core::Set::add}{Invariant}(#t158){(core::int) → core::bool}; |
| } |
| } |
| } |
| } |
| } =>#t155, block { |
| final core::Set<core::int> #t159 = new col::_CompactLinkedHashSet::•<core::int>(); |
| for (core::int i = 0; i.{core::num::<}(42){(core::num) → core::bool}; i = i.{core::num::+}(1){(core::num) → core::int}) { |
| final core::Iterable<dynamic>? #t160 = y; |
| if(!(#t160 == null)) { |
| core::Iterator<dynamic> :sync-for-iterator = #t160{core::Iterable<dynamic>}.{core::Iterable::iterator}{core::Iterator<dynamic>}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final dynamic #t161 = :sync-for-iterator.{core::Iterator::current}{dynamic}; |
| { |
| final core::int #t162 = #t161 as{TypeError,ForNonNullableByDefault} core::int; |
| #t159.{core::Set::add}{Invariant}(#t162){(core::int) → core::bool}; |
| } |
| } |
| } |
| } |
| } =>#t159, block { |
| final core::Set<core::int> #t163 = new col::_CompactLinkedHashSet::•<core::int>(); |
| for (core::int i = 0; i.{core::num::<}(42){(core::num) → core::bool}; i = i.{core::num::+}(1){(core::num) → core::int}) { |
| final core::Iterable<dynamic>? #t164 = z; |
| if(!(#t164 == null)) { |
| core::Iterator<dynamic> :sync-for-iterator = #t164{core::Iterable<dynamic>}.{core::Iterable::iterator}{core::Iterator<dynamic>}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(){() → core::bool}; ) { |
| final dynamic #t165 = :sync-for-iterator.{core::Iterator::current}{dynamic}; |
| { |
| final core::int #t166 = #t165 as{TypeError,ForNonNullableByDefault} core::int; |
| #t163.{core::Set::add}{Invariant}(#t166){(core::int) → core::bool}; |
| } |
| } |
| } |
| } |
| } =>#t163, block { |
| final core::Map<core::int, core::int> #t167 = <core::int, core::int>{}; |
| for (core::int i = 0; i.{core::num::<}(42){(core::num) → core::bool}; i = i.{core::num::+}(1){(core::num) → core::int}) { |
| final core::Map<core::int, core::int>? #t168 = w; |
| if(!(#t168 == null)) |
| #t167.{core::Map::addAll}{Invariant}(#t168{core::Map<core::int, core::int>}){(core::Map<core::int, core::int>) → void}; |
| } |
| } =>#t167]; |
| } |
| static method main() → dynamic {} |