blob: ba1a66c4aea25265d6dfa2f4b83dca2958bbb004 [file] [log] [blame]
library /*isNonNullableByDefault*/;
import self as self;
import "dart:core" as core;
import "dart:collection" as col;
static method main() dynamic {
core::List<core::int>? list = null;
core::print( block {
final core::List<core::int> #t1 = <core::int>[];
#t1.{core::List::add}{Invariant}(1);
#t1.{core::List::add}{Invariant}(2);
final core::Iterable<core::int>? #t2 = list;
if(!#t2.{core::Object::==}(null)) {
core::Iterator<core::int> :sync-for-iterator = #t2{core::Iterable<core::int>}.{core::Iterable::iterator};
for (; :sync-for-iterator.{core::Iterator::moveNext}(); ) {
final core::int #t3 = :sync-for-iterator.{core::Iterator::current};
#t1.{core::List::add}{Invariant}(#t3);
}
}
#t1.{core::List::add}{Invariant}(3);
} =>#t1);
core::print( block {
final core::List<core::int> #t4 = <core::int>[];
#t4.{core::List::add}{Invariant}(1);
#t4.{core::List::add}{Invariant}(2);
final core::Iterable<core::int>? #t5 = null;
if(!#t5.{core::Object::==}(null)) {
core::Iterator<core::int> :sync-for-iterator = #t5{core::Iterable<core::int>}.{core::Iterable::iterator};
for (; :sync-for-iterator.{core::Iterator::moveNext}(); ) {
final core::int #t6 = :sync-for-iterator.{core::Iterator::current};
#t4.{core::List::add}{Invariant}(#t6);
}
}
#t4.{core::List::add}{Invariant}(3);
} =>#t4);
core::List<core::int> list1 = block {
final core::List<core::int> #t7 = <core::int>[];
final core::Iterable<core::int>? #t8 = list;
if(!#t8.{core::Object::==}(null)) {
core::Iterator<core::int> :sync-for-iterator = #t8{core::Iterable<core::int>}.{core::Iterable::iterator};
for (; :sync-for-iterator.{core::Iterator::moveNext}(); ) {
final core::int #t9 = :sync-for-iterator.{core::Iterator::current};
#t7.{core::List::add}{Invariant}(#t9);
}
}
} =>#t7;
core::List<Never> list2 = block {
final core::List<Never> #t10 = <Never>[];
final core::Iterable<Never>? #t11 = null;
if(!#t11.{core::Object::==}(null)) {
core::Iterator<Never> :sync-for-iterator = #t11{core::Iterable<Never>}.{core::Iterable::iterator};
for (; :sync-for-iterator.{core::Iterator::moveNext}(); ) {
final Never #t12 = :sync-for-iterator.{core::Iterator::current};
#t10.{core::List::add}{Invariant}(#t12);
}
}
} =>#t10;
core::List<core::int> list3 = block {
final core::List<core::int> #t13 = <core::int>[];
#t13.{core::List::add}{Invariant}(1);
#t13.{core::List::add}{Invariant}(2);
final core::Iterable<core::int>? #t14 = list;
if(!#t14.{core::Object::==}(null)) {
core::Iterator<core::int> :sync-for-iterator = #t14{core::Iterable<core::int>}.{core::Iterable::iterator};
for (; :sync-for-iterator.{core::Iterator::moveNext}(); ) {
final core::int #t15 = :sync-for-iterator.{core::Iterator::current};
#t13.{core::List::add}{Invariant}(#t15);
}
}
#t13.{core::List::add}{Invariant}(3);
} =>#t13;
core::List<core::int> list4 = block {
final core::List<core::int> #t16 = <core::int>[];
#t16.{core::List::add}{Invariant}(1);
#t16.{core::List::add}{Invariant}(2);
final core::Iterable<core::int>? #t17 = null;
if(!#t17.{core::Object::==}(null)) {
core::Iterator<core::int> :sync-for-iterator = #t17{core::Iterable<core::int>}.{core::Iterable::iterator};
for (; :sync-for-iterator.{core::Iterator::moveNext}(); ) {
final core::int #t18 = :sync-for-iterator.{core::Iterator::current};
#t16.{core::List::add}{Invariant}(#t18);
}
}
#t16.{core::List::add}{Invariant}(3);
} =>#t16;
core::Set<core::int>? set = null;
core::print( block {
final core::Set<core::int> #t19 = new col::_CompactLinkedHashSet::•<core::int>();
#t19.{core::Set::add}{Invariant}(1);
#t19.{core::Set::add}{Invariant}(2);
final core::Iterable<core::int>? #t20 = set;
if(!#t20.{core::Object::==}(null)) {
core::Iterator<core::int> :sync-for-iterator = #t20{core::Iterable<core::int>}.{core::Iterable::iterator};
for (; :sync-for-iterator.{core::Iterator::moveNext}(); ) {
final core::int #t21 = :sync-for-iterator.{core::Iterator::current};
#t19.{core::Set::add}{Invariant}(#t21);
}
}
#t19.{core::Set::add}{Invariant}(3);
} =>#t19);
core::print( block {
final core::Set<core::int> #t22 = new col::_CompactLinkedHashSet::•<core::int>();
#t22.{core::Set::add}{Invariant}(1);
#t22.{core::Set::add}{Invariant}(2);
final core::Iterable<core::int>? #t23 = null;
if(!#t23.{core::Object::==}(null)) {
core::Iterator<core::int> :sync-for-iterator = #t23{core::Iterable<core::int>}.{core::Iterable::iterator};
for (; :sync-for-iterator.{core::Iterator::moveNext}(); ) {
final core::int #t24 = :sync-for-iterator.{core::Iterator::current};
#t22.{core::Set::add}{Invariant}(#t24);
}
}
#t22.{core::Set::add}{Invariant}(3);
} =>#t22);
core::Set<core::int> set1 = block {
final core::Set<core::int> #t25 = new col::_CompactLinkedHashSet::•<core::int>();
final core::Iterable<dynamic>? #t26 = set;
if(!#t26.{core::Object::==}(null)) {
core::Iterator<dynamic> :sync-for-iterator = #t26{core::Iterable<dynamic>}.{core::Iterable::iterator};
for (; :sync-for-iterator.{core::Iterator::moveNext}(); ) {
final dynamic #t27 = :sync-for-iterator.{core::Iterator::current};
{
final core::int #t28 = #t27 as{TypeError,ForNonNullableByDefault} core::int;
#t25.{core::Set::add}{Invariant}(#t28);
}
}
}
} =>#t25;
core::Set<core::int> set3 = block {
final core::Set<core::int> #t29 = new col::_CompactLinkedHashSet::•<core::int>();
#t29.{core::Set::add}{Invariant}(1);
#t29.{core::Set::add}{Invariant}(2);
final core::Iterable<core::int>? #t30 = set;
if(!#t30.{core::Object::==}(null)) {
core::Iterator<core::int> :sync-for-iterator = #t30{core::Iterable<core::int>}.{core::Iterable::iterator};
for (; :sync-for-iterator.{core::Iterator::moveNext}(); ) {
final core::int #t31 = :sync-for-iterator.{core::Iterator::current};
#t29.{core::Set::add}{Invariant}(#t31);
}
}
#t29.{core::Set::add}{Invariant}(3);
} =>#t29;
core::Set<core::int> set4 = block {
final core::Set<core::int> #t32 = new col::_CompactLinkedHashSet::•<core::int>();
#t32.{core::Set::add}{Invariant}(1);
#t32.{core::Set::add}{Invariant}(2);
final core::Iterable<core::int>? #t33 = null;
if(!#t33.{core::Object::==}(null)) {
core::Iterator<core::int> :sync-for-iterator = #t33{core::Iterable<core::int>}.{core::Iterable::iterator};
for (; :sync-for-iterator.{core::Iterator::moveNext}(); ) {
final core::int #t34 = :sync-for-iterator.{core::Iterator::current};
#t32.{core::Set::add}{Invariant}(#t34);
}
}
#t32.{core::Set::add}{Invariant}(3);
} =>#t32;
core::Map<core::int, core::int>? map = null;
core::print( block {
final core::Map<core::int, core::int> #t35 = <core::int, core::int>{};
#t35.{core::Map::[]=}{Invariant}(1, 1);
#t35.{core::Map::[]=}{Invariant}(2, 2);
final core::Map<core::int, core::int>? #t36 = map;
if(!#t36.{core::Object::==}(null)) {
core::Iterator<core::MapEntry<core::int, core::int>> :sync-for-iterator = #t36{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> #t37 = :sync-for-iterator.{core::Iterator::current};
#t35.{core::Map::[]=}{Invariant}(#t37.{core::MapEntry::key}, #t37.{core::MapEntry::value});
}
}
#t35.{core::Map::[]=}{Invariant}(3, 3);
} =>#t35);
core::print( block {
final core::Map<core::int, core::int> #t38 = <core::int, core::int>{};
#t38.{core::Map::[]=}{Invariant}(1, 1);
#t38.{core::Map::[]=}{Invariant}(2, 2);
final core::Map<core::int, core::int>? #t39 = null;
if(!#t39.{core::Object::==}(null)) {
core::Iterator<core::MapEntry<core::int, core::int>> :sync-for-iterator = #t39{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> #t40 = :sync-for-iterator.{core::Iterator::current};
#t38.{core::Map::[]=}{Invariant}(#t40.{core::MapEntry::key}, #t40.{core::MapEntry::value});
}
}
#t38.{core::Map::[]=}{Invariant}(3, 3);
} =>#t38);
core::Map<core::int, core::int> map1 = block {
final core::Map<core::int, core::int> #t41 = <core::int, core::int>{};
final core::Map<core::int, core::int>? #t42 = map;
if(!#t42.{core::Object::==}(null)) {
core::Iterator<core::MapEntry<core::int, core::int>> :sync-for-iterator = #t42{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> #t43 = :sync-for-iterator.{core::Iterator::current};
#t41.{core::Map::[]=}{Invariant}(#t43.{core::MapEntry::key}, #t43.{core::MapEntry::value});
}
}
} =>#t41;
core::Map<core::int, core::int> map3 = block {
final core::Map<core::int, core::int> #t44 = <core::int, core::int>{};
#t44.{core::Map::[]=}{Invariant}(1, 1);
#t44.{core::Map::[]=}{Invariant}(2, 2);
final core::Map<core::int, core::int>? #t45 = map;
if(!#t45.{core::Object::==}(null)) {
core::Iterator<core::MapEntry<core::int, core::int>> :sync-for-iterator = #t45{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> #t46 = :sync-for-iterator.{core::Iterator::current};
#t44.{core::Map::[]=}{Invariant}(#t46.{core::MapEntry::key}, #t46.{core::MapEntry::value});
}
}
#t44.{core::Map::[]=}{Invariant}(3, 3);
} =>#t44;
core::Map<core::int, core::int> map4 = block {
final core::Map<core::int, core::int> #t47 = <core::int, core::int>{};
#t47.{core::Map::[]=}{Invariant}(1, 1);
#t47.{core::Map::[]=}{Invariant}(2, 2);
final core::Map<core::int, core::int>? #t48 = null;
if(!#t48.{core::Object::==}(null)) {
core::Iterator<core::MapEntry<core::int, core::int>> :sync-for-iterator = #t48{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> #t49 = :sync-for-iterator.{core::Iterator::current};
#t47.{core::Map::[]=}{Invariant}(#t49.{core::MapEntry::key}, #t49.{core::MapEntry::value});
}
}
#t47.{core::Map::[]=}{Invariant}(3, 3);
} =>#t47;
}