blob: 64652c2233dd883b0f233bcfc085da907d6e45b4 [file] [log] [blame]
library;
import self as self;
import "dart:core" as core;
import "dart:collection" as col;
static method main() dynamic {
core::List<core::int*>* list1 = core::_GrowableList::_literal1<core::int*>(0);
core::List<core::num*>* list2 = core::_GrowableList::_literal1<core::num*>(0);
dynamic list3 = core::_GrowableList::_literal1<core::int*>(0);
core::List<core::int*>* list = block {
final core::List<core::int*>* #t1 = core::_GrowableList::_literal1<core::int*>(0);
#t1.{core::List::addAll}{Invariant}(list1){(core::Iterable<core::int*>*) →* void};
{
core::Iterator<core::num*>* :sync-for-iterator = list2.{core::Iterable::iterator}{core::Iterator<core::num*>*};
for (; :sync-for-iterator.{core::Iterator::moveNext}(){() core::bool}; ) {
final dynamic #t2 = :sync-for-iterator.{core::Iterator::current}{core::num*};
{
final core::int* #t3 = #t2 as{TypeError} core::int*;
#t1.{core::List::add}{Invariant}(#t3){(core::int*) →* void};
}
}
}
{
core::Iterator<dynamic>* :sync-for-iterator = (list3 as{TypeError,ForDynamic} core::Iterable<dynamic>*).{core::Iterable::iterator}{core::Iterator<dynamic>*};
for (; :sync-for-iterator.{core::Iterator::moveNext}(){() core::bool}; ) {
final dynamic #t4 = :sync-for-iterator.{core::Iterator::current}{dynamic};
{
final core::int* #t5 = #t4 as{TypeError} core::int*;
#t1.{core::List::add}{Invariant}(#t5){(core::int*) →* void};
}
}
}
if(true)
#t1.{core::List::add}{Invariant}(2){(core::int*) →* void};
} =>#t1;
core::Set<core::int*>* set1 = block {
final core::Set<core::int*>* #t6 = new col::_CompactLinkedHashSet::•<core::int*>();
#t6.{core::Set::add}{Invariant}(0){(core::int*) →* core::bool*};
} =>#t6;
core::Set<core::num*>* set2 = block {
final core::Set<core::num*>* #t7 = new col::_CompactLinkedHashSet::•<core::num*>();
#t7.{core::Set::add}{Invariant}(0){(core::num*) →* core::bool*};
} =>#t7;
dynamic set3 = block {
final core::Set<core::int*>* #t8 = new col::_CompactLinkedHashSet::•<core::int*>();
#t8.{core::Set::add}{Invariant}(0){(core::int*) →* core::bool*};
} =>#t8;
core::Set<core::int*>* set = block {
final core::Set<core::int*>* #t9 = new col::_CompactLinkedHashSet::•<core::int*>();
#t9.{core::Set::add}{Invariant}(0){(core::int*) →* core::bool*};
#t9.{core::Set::addAll}{Invariant}(set1){(core::Iterable<core::int*>*) →* void};
{
core::Iterator<core::num*>* :sync-for-iterator = set2.{core::Iterable::iterator}{core::Iterator<core::num*>*};
for (; :sync-for-iterator.{core::Iterator::moveNext}(){() core::bool}; ) {
final dynamic #t10 = :sync-for-iterator.{core::Iterator::current}{core::num*};
{
final core::int* #t11 = #t10 as{TypeError} core::int*;
#t9.{core::Set::add}{Invariant}(#t11){(core::int*) →* core::bool*};
}
}
}
{
core::Iterator<dynamic>* :sync-for-iterator = (set3 as{TypeError,ForDynamic} core::Iterable<dynamic>*).{core::Iterable::iterator}{core::Iterator<dynamic>*};
for (; :sync-for-iterator.{core::Iterator::moveNext}(){() core::bool}; ) {
final dynamic #t12 = :sync-for-iterator.{core::Iterator::current}{dynamic};
{
final core::int* #t13 = #t12 as{TypeError} core::int*;
#t9.{core::Set::add}{Invariant}(#t13){(core::int*) →* core::bool*};
}
}
}
if(true)
#t9.{core::Set::add}{Invariant}(2){(core::int*) →* core::bool*};
} =>#t9;
core::Map<core::int*, core::String*>* map1 = <core::int*, core::String*>{0: "foo"};
core::Map<core::num*, core::Object*>* map2 = <core::num*, core::Object*>{0: "bar"};
dynamic map3 = <core::int*, core::String*>{0: "baz"};
core::Map<core::int*, core::String*>* map = block {
final core::Map<core::int*, core::String*>* #t14 = <core::int*, core::String*>{};
#t14.{core::Map::[]=}{Invariant}(0, "foo"){(core::int*, core::String*) →* void};
{
core::Iterator<core::MapEntry<core::int*, core::String*>>* :sync-for-iterator = map1.{core::Map::entries}{core::Iterable<core::MapEntry<core::int*, core::String*>>}.{core::Iterable::iterator}{core::Iterator<core::MapEntry<core::int*, core::String*>>*};
for (; :sync-for-iterator.{core::Iterator::moveNext}(){() core::bool}; ) {
final core::MapEntry<core::int*, core::String*>* #t15 = :sync-for-iterator.{core::Iterator::current}{core::MapEntry<core::int*, core::String*>};
#t14.{core::Map::[]=}{Invariant}(#t15.{core::MapEntry::key}{core::int*}, #t15.{core::MapEntry::value}{core::String*}){(core::int*, core::String*) →* void};
}
}
{
core::Iterator<core::MapEntry<core::int*, core::String*>>* :sync-for-iterator = map2.{core::Map::entries}{core::Iterable<core::MapEntry<core::int*, core::String*>>}.{core::Iterable::iterator}{core::Iterator<core::MapEntry<core::int*, core::String*>>*};
for (; :sync-for-iterator.{core::Iterator::moveNext}(){() core::bool}; ) {
final core::MapEntry<dynamic, dynamic>* #t16 = :sync-for-iterator.{core::Iterator::current}{core::MapEntry<core::int*, core::String*>};
{
final core::int* #t17 = #t16.{core::MapEntry::key}{dynamic} as{TypeError} core::int*;
final core::String* #t18 = #t16.{core::MapEntry::value}{dynamic} as{TypeError} core::String*;
#t14.{core::Map::[]=}{Invariant}(#t17, #t18){(core::int*, core::String*) →* void};
}
}
}
{
core::Iterator<core::MapEntry<core::int*, core::String*>>* :sync-for-iterator = (map3 as{TypeError,ForDynamic} core::Map<dynamic, dynamic>*).{core::Map::entries}{core::Iterable<core::MapEntry<core::int*, core::String*>>}.{core::Iterable::iterator}{core::Iterator<core::MapEntry<core::int*, core::String*>>*};
for (; :sync-for-iterator.{core::Iterator::moveNext}(){() core::bool}; ) {
final core::MapEntry<dynamic, dynamic>* #t19 = :sync-for-iterator.{core::Iterator::current}{core::MapEntry<core::int*, core::String*>};
{
final core::int* #t20 = #t19.{core::MapEntry::key}{dynamic} as{TypeError} core::int*;
final core::String* #t21 = #t19.{core::MapEntry::value}{dynamic} as{TypeError} core::String*;
#t14.{core::Map::[]=}{Invariant}(#t20, #t21){(core::int*, core::String*) →* void};
}
}
}
if(true)
#t14.{core::Map::[]=}{Invariant}(2, "baz"){(core::int*, core::String*) →* void};
} =>#t14;
}