library /*isNonNullableByDefault*/;
import self as self;
import "dart:core" as core;
import "dart:collection" as col;

static method main() → dynamic {
  has-declared-initializer core::List<core::int>? list = null;
  core::print( block {
    final core::List<core::int> #t1 = <core::int>[1, 2];
    final core::Iterable<core::int>? #t2 = list;
    if(!(#t2 == null))
      #t1.{core::List::addAll}{Invariant}(#t2{core::Iterable<core::int>}){(core::Iterable<core::int>) → void};
    #t1.{core::List::add}{Invariant}(3){(core::int) → void};
  } =>#t1);
  core::print( block {
    final core::List<core::int> #t3 = <core::int>[1, 2];
    final has-declared-initializer core::Iterable<core::int>? #t4 = null;
    if(!(#t4 == null))
      #t3.{core::List::addAll}{Invariant}(#t4{core::Iterable<core::int>}){(core::Iterable<core::int>) → void};
    #t3.{core::List::add}{Invariant}(3){(core::int) → void};
  } =>#t3);
  core::List<core::int> list1 = block {
    final core::List<core::int> #t5 = <core::int>[];
    final core::Iterable<core::int>? #t6 = list;
    if(!(#t6 == null))
      #t5.{core::List::addAll}{Invariant}(#t6{core::Iterable<core::int>}){(core::Iterable<core::int>) → void};
  } =>#t5;
  core::List<Never> list2 = block {
    final core::List<Never> #t7 = <Never>[];
    final has-declared-initializer core::Iterable<Never>? #t8 = null;
    if(!(#t8 == null))
      #t7.{core::List::addAll}{Invariant}(#t8{core::Iterable<Never>}){(core::Iterable<Never>) → void};
  } =>#t7;
  core::List<core::int> list3 = block {
    final core::List<core::int> #t9 = <core::int>[1, 2];
    final core::Iterable<core::int>? #t10 = list;
    if(!(#t10 == null))
      #t9.{core::List::addAll}{Invariant}(#t10{core::Iterable<core::int>}){(core::Iterable<core::int>) → void};
    #t9.{core::List::add}{Invariant}(3){(core::int) → void};
  } =>#t9;
  core::List<core::int> list4 = block {
    final core::List<core::int> #t11 = <core::int>[1, 2];
    final has-declared-initializer core::Iterable<core::int>? #t12 = null;
    if(!(#t12 == null))
      #t11.{core::List::addAll}{Invariant}(#t12{core::Iterable<core::int>}){(core::Iterable<core::int>) → void};
    #t11.{core::List::add}{Invariant}(3){(core::int) → void};
  } =>#t11;
  has-declared-initializer core::Set<core::int>? set = null;
  core::print( block {
    final core::Set<core::int> #t13 = col::LinkedHashSet::•<core::int>();
    #t13.{core::Set::add}{Invariant}(1){(core::int) → core::bool};
    #t13.{core::Set::add}{Invariant}(2){(core::int) → core::bool};
    final core::Iterable<core::int>? #t14 = set;
    if(!(#t14 == null))
      #t13.{core::Set::addAll}{Invariant}(#t14{core::Iterable<core::int>}){(core::Iterable<core::int>) → void};
    #t13.{core::Set::add}{Invariant}(3){(core::int) → core::bool};
  } =>#t13);
  core::print( block {
    final core::Set<core::int> #t15 = col::LinkedHashSet::•<core::int>();
    #t15.{core::Set::add}{Invariant}(1){(core::int) → core::bool};
    #t15.{core::Set::add}{Invariant}(2){(core::int) → core::bool};
    final has-declared-initializer core::Iterable<core::int>? #t16 = null;
    if(!(#t16 == null))
      #t15.{core::Set::addAll}{Invariant}(#t16{core::Iterable<core::int>}){(core::Iterable<core::int>) → void};
    #t15.{core::Set::add}{Invariant}(3){(core::int) → core::bool};
  } =>#t15);
  core::Set<core::int> set1 = block {
    final core::Set<core::int> #t17 = col::LinkedHashSet::•<core::int>();
    final core::Iterable<core::int>? #t18 = set;
    if(!(#t18 == null))
      #t17.{core::Set::addAll}{Invariant}(#t18{core::Iterable<core::int>}){(core::Iterable<core::int>) → void};
  } =>#t17;
  core::Set<core::int> set3 = block {
    final core::Set<core::int> #t19 = col::LinkedHashSet::•<core::int>();
    #t19.{core::Set::add}{Invariant}(1){(core::int) → core::bool};
    #t19.{core::Set::add}{Invariant}(2){(core::int) → core::bool};
    final core::Iterable<core::int>? #t20 = set;
    if(!(#t20 == null))
      #t19.{core::Set::addAll}{Invariant}(#t20{core::Iterable<core::int>}){(core::Iterable<core::int>) → void};
    #t19.{core::Set::add}{Invariant}(3){(core::int) → core::bool};
  } =>#t19;
  core::Set<core::int> set4 = block {
    final core::Set<core::int> #t21 = col::LinkedHashSet::•<core::int>();
    #t21.{core::Set::add}{Invariant}(1){(core::int) → core::bool};
    #t21.{core::Set::add}{Invariant}(2){(core::int) → core::bool};
    final has-declared-initializer core::Iterable<core::int>? #t22 = null;
    if(!(#t22 == null))
      #t21.{core::Set::addAll}{Invariant}(#t22{core::Iterable<core::int>}){(core::Iterable<core::int>) → void};
    #t21.{core::Set::add}{Invariant}(3){(core::int) → core::bool};
  } =>#t21;
  has-declared-initializer core::Map<core::int, core::int>? map = null;
  core::print( block {
    final core::Map<core::int, core::int> #t23 = <core::int, core::int>{};
    #t23.{core::Map::[]=}{Invariant}(1, 1){(core::int, core::int) → void};
    #t23.{core::Map::[]=}{Invariant}(2, 2){(core::int, core::int) → void};
    final core::Map<core::int, core::int>? #t24 = map;
    if(!(#t24 == null))
      #t23.{core::Map::addAll}{Invariant}(#t24{core::Map<core::int, core::int>}){(core::Map<core::int, core::int>) → void};
    #t23.{core::Map::[]=}{Invariant}(3, 3){(core::int, core::int) → void};
  } =>#t23);
  core::print( block {
    final core::Map<core::int, core::int> #t25 = <core::int, core::int>{};
    #t25.{core::Map::[]=}{Invariant}(1, 1){(core::int, core::int) → void};
    #t25.{core::Map::[]=}{Invariant}(2, 2){(core::int, core::int) → void};
    final has-declared-initializer core::Map<core::int, core::int>? #t26 = null;
    if(!(#t26 == null))
      #t25.{core::Map::addAll}{Invariant}(#t26{core::Map<core::int, core::int>}){(core::Map<core::int, core::int>) → void};
    #t25.{core::Map::[]=}{Invariant}(3, 3){(core::int, core::int) → void};
  } =>#t25);
  core::Map<core::int, core::int> map1 = block {
    final core::Map<core::int, core::int> #t27 = <core::int, core::int>{};
    final core::Map<core::int, core::int>? #t28 = map;
    if(!(#t28 == null))
      #t27.{core::Map::addAll}{Invariant}(#t28{core::Map<core::int, core::int>}){(core::Map<core::int, core::int>) → void};
  } =>#t27;
  core::Map<core::int, core::int> map3 = block {
    final core::Map<core::int, core::int> #t29 = <core::int, core::int>{};
    #t29.{core::Map::[]=}{Invariant}(1, 1){(core::int, core::int) → void};
    #t29.{core::Map::[]=}{Invariant}(2, 2){(core::int, core::int) → void};
    final core::Map<core::int, core::int>? #t30 = map;
    if(!(#t30 == null))
      #t29.{core::Map::addAll}{Invariant}(#t30{core::Map<core::int, core::int>}){(core::Map<core::int, core::int>) → void};
    #t29.{core::Map::[]=}{Invariant}(3, 3){(core::int, core::int) → void};
  } =>#t29;
  core::Map<core::int, core::int> map4 = block {
    final core::Map<core::int, core::int> #t31 = <core::int, core::int>{};
    #t31.{core::Map::[]=}{Invariant}(1, 1){(core::int, core::int) → void};
    #t31.{core::Map::[]=}{Invariant}(2, 2){(core::int, core::int) → void};
    final has-declared-initializer core::Map<core::int, core::int>? #t32 = null;
    if(!(#t32 == null))
      #t31.{core::Map::addAll}{Invariant}(#t32{core::Map<core::int, core::int>}){(core::Map<core::int, core::int>) → void};
    #t31.{core::Map::[]=}{Invariant}(3, 3){(core::int, core::int) → void};
  } =>#t31;
}