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