library;
import self as self;
import "dart:core" as core;
import "dart:collection" as col;
import "dart:_internal" as _in;

static method useAddAll() → void {
  dynamic dynamicSet1 = block {
    final core::Set<core::int*>* #t1 = col::LinkedHashSet::•<core::int*>();
    #t1.{core::Set::add}{Invariant}(0);
    #t1.{core::Set::add}{Invariant}(1);
    #t1.{core::Set::add}{Invariant}(2);
  } =>#t1;
  dynamic dynamicSet2 = block {
    final core::Set<core::num*>* #t2 = col::LinkedHashSet::•<core::num*>();
    #t2.{core::Set::add}{Invariant}(3);
    #t2.{core::Set::add}{Invariant}(4);
    #t2.{core::Set::add}{Invariant}(5);
  } =>#t2;
  core::Iterable<core::int*>* iterableIntSet = block {
    final core::Set<core::int*>* #t3 = col::LinkedHashSet::•<core::int*>();
    #t3.{core::Set::add}{Invariant}(6);
    #t3.{core::Set::add}{Invariant}(7);
    #t3.{core::Set::add}{Invariant}(8);
  } =>#t3;
  core::Iterable<core::num*>* iterableNumSet1 = block {
    final core::Set<core::int*>* #t4 = col::LinkedHashSet::•<core::int*>();
    #t4.{core::Set::add}{Invariant}(9);
    #t4.{core::Set::add}{Invariant}(10);
    #t4.{core::Set::add}{Invariant}(11);
  } =>#t4;
  core::Iterable<core::num*>* iterableNumSet2 = block {
    final core::Set<core::num*>* #t5 = col::LinkedHashSet::•<core::num*>();
    #t5.{core::Set::add}{Invariant}(12);
    #t5.{core::Set::add}{Invariant}(13);
    #t5.{core::Set::add}{Invariant}(14);
  } =>#t5;
  core::Set<core::int*>* intSet = block {
    final core::Set<core::int*>* #t6 = col::LinkedHashSet::•<core::int*>();
    #t6.{core::Set::add}{Invariant}(15);
    #t6.{core::Set::add}{Invariant}(16);
    #t6.{core::Set::add}{Invariant}(17);
  } =>#t6;
  core::Set<core::num*>* numSet1 = block {
    final core::Set<core::int*>* #t7 = col::LinkedHashSet::•<core::int*>();
    #t7.{core::Set::add}{Invariant}(18);
    #t7.{core::Set::add}{Invariant}(19);
    #t7.{core::Set::add}{Invariant}(20);
  } =>#t7;
  core::Set<core::num*>* numSet2 = block {
    final core::Set<core::num*>* #t8 = col::LinkedHashSet::•<core::num*>();
    #t8.{core::Set::add}{Invariant}(21);
    #t8.{core::Set::add}{Invariant}(22);
    #t8.{core::Set::add}{Invariant}(23);
  } =>#t8;
  core::Set<core::int*>* set1 = block {
    final core::Set<core::int*>* #t9 = col::LinkedHashSet::•<core::int*>();
    for (final dynamic #t10 in dynamicSet1 as{TypeError,ForDynamic} core::Iterable<dynamic>*) {
      final core::int* #t11 = #t10 as{TypeError} core::int*;
      #t9.{core::Set::add}{Invariant}(#t11);
    }
    for (final dynamic #t12 in dynamicSet2 as{TypeError,ForDynamic} core::Iterable<dynamic>*) {
      final core::int* #t13 = #t12 as{TypeError} core::int*;
      #t9.{core::Set::add}{Invariant}(#t13);
    }
    #t9.{core::Set::addAll}{Invariant}(iterableIntSet);
    for (final dynamic #t14 in iterableNumSet1) {
      final core::int* #t15 = #t14 as{TypeError} core::int*;
      #t9.{core::Set::add}{Invariant}(#t15);
    }
    for (final dynamic #t16 in iterableNumSet2) {
      final core::int* #t17 = #t16 as{TypeError} core::int*;
      #t9.{core::Set::add}{Invariant}(#t17);
    }
    #t9.{core::Set::addAll}{Invariant}(intSet);
    for (final dynamic #t18 in numSet1) {
      final core::int* #t19 = #t18 as{TypeError} core::int*;
      #t9.{core::Set::add}{Invariant}(#t19);
    }
    for (final dynamic #t20 in numSet2) {
      final core::int* #t21 = #t20 as{TypeError} core::int*;
      #t9.{core::Set::add}{Invariant}(#t21);
    }
  } =>#t9;
  self::expect(core::List::generate<core::int*>(24, (core::int* i) → core::int* => i).{core::Iterable::toSet}(), set1);
  core::Set<core::num*>* set2 = block {
    final core::Set<core::num*>* #t22 = col::LinkedHashSet::•<core::num*>();
    for (final dynamic #t23 in dynamicSet1 as{TypeError,ForDynamic} core::Iterable<dynamic>*) {
      final core::num* #t24 = #t23 as{TypeError} core::num*;
      #t22.{core::Set::add}{Invariant}(#t24);
    }
    for (final dynamic #t25 in dynamicSet2 as{TypeError,ForDynamic} core::Iterable<dynamic>*) {
      final core::num* #t26 = #t25 as{TypeError} core::num*;
      #t22.{core::Set::add}{Invariant}(#t26);
    }
    #t22.{core::Set::addAll}{Invariant}(iterableIntSet);
    #t22.{core::Set::addAll}{Invariant}(iterableNumSet1);
    #t22.{core::Set::addAll}{Invariant}(iterableNumSet2);
    #t22.{core::Set::addAll}{Invariant}(intSet);
    #t22.{core::Set::addAll}{Invariant}(numSet1);
    #t22.{core::Set::addAll}{Invariant}(numSet2);
  } =>#t22;
  self::expect(core::List::generate<core::num*>(24, (core::int* i) → core::int* => i).{core::Iterable::toSet}(), set2);
  core::Set<core::int*>* set3 = block {
    final core::Set<core::int*>* #t27 = col::LinkedHashSet::•<core::int*>();
    final core::Iterable<dynamic>* #t28 = dynamicSet1 as{TypeError,ForDynamic} core::Iterable<dynamic>*;
    if(!#t28.{core::Object::==}(null))
      for (final dynamic #t29 in #t28) {
        final core::int* #t30 = #t29 as{TypeError} core::int*;
        #t27.{core::Set::add}{Invariant}(#t30);
      }
    final core::Iterable<dynamic>* #t31 = dynamicSet2 as{TypeError,ForDynamic} core::Iterable<dynamic>*;
    if(!#t31.{core::Object::==}(null))
      for (final dynamic #t32 in #t31) {
        final core::int* #t33 = #t32 as{TypeError} core::int*;
        #t27.{core::Set::add}{Invariant}(#t33);
      }
    final core::Iterable<core::int*>* #t34 = iterableIntSet;
    if(!#t34.{core::Object::==}(null))
      #t27.{core::Set::addAll}{Invariant}(#t34);
    final core::Iterable<dynamic>* #t35 = iterableNumSet1;
    if(!#t35.{core::Object::==}(null))
      for (final dynamic #t36 in #t35) {
        final core::int* #t37 = #t36 as{TypeError} core::int*;
        #t27.{core::Set::add}{Invariant}(#t37);
      }
    final core::Iterable<dynamic>* #t38 = iterableNumSet2;
    if(!#t38.{core::Object::==}(null))
      for (final dynamic #t39 in #t38) {
        final core::int* #t40 = #t39 as{TypeError} core::int*;
        #t27.{core::Set::add}{Invariant}(#t40);
      }
    final core::Iterable<core::int*>* #t41 = intSet;
    if(!#t41.{core::Object::==}(null))
      #t27.{core::Set::addAll}{Invariant}(#t41);
    final core::Iterable<dynamic>* #t42 = numSet1;
    if(!#t42.{core::Object::==}(null))
      for (final dynamic #t43 in #t42) {
        final core::int* #t44 = #t43 as{TypeError} core::int*;
        #t27.{core::Set::add}{Invariant}(#t44);
      }
    final core::Iterable<dynamic>* #t45 = numSet2;
    if(!#t45.{core::Object::==}(null))
      for (final dynamic #t46 in #t45) {
        final core::int* #t47 = #t46 as{TypeError} core::int*;
        #t27.{core::Set::add}{Invariant}(#t47);
      }
  } =>#t27;
  self::expect(core::List::generate<core::int*>(24, (core::int* i) → core::int* => i).{core::Iterable::toSet}(), set3);
  core::Set<core::num*>* set4 = block {
    final core::Set<core::num*>* #t48 = col::LinkedHashSet::•<core::num*>();
    final core::Iterable<dynamic>* #t49 = dynamicSet1 as{TypeError,ForDynamic} core::Iterable<dynamic>*;
    if(!#t49.{core::Object::==}(null))
      for (final dynamic #t50 in #t49) {
        final core::num* #t51 = #t50 as{TypeError} core::num*;
        #t48.{core::Set::add}{Invariant}(#t51);
      }
    final core::Iterable<dynamic>* #t52 = dynamicSet2 as{TypeError,ForDynamic} core::Iterable<dynamic>*;
    if(!#t52.{core::Object::==}(null))
      for (final dynamic #t53 in #t52) {
        final core::num* #t54 = #t53 as{TypeError} core::num*;
        #t48.{core::Set::add}{Invariant}(#t54);
      }
    final core::Iterable<core::num*>* #t55 = iterableIntSet;
    if(!#t55.{core::Object::==}(null))
      #t48.{core::Set::addAll}{Invariant}(#t55);
    final core::Iterable<core::num*>* #t56 = iterableNumSet1;
    if(!#t56.{core::Object::==}(null))
      #t48.{core::Set::addAll}{Invariant}(#t56);
    final core::Iterable<core::num*>* #t57 = iterableNumSet2;
    if(!#t57.{core::Object::==}(null))
      #t48.{core::Set::addAll}{Invariant}(#t57);
    final core::Iterable<core::num*>* #t58 = intSet;
    if(!#t58.{core::Object::==}(null))
      #t48.{core::Set::addAll}{Invariant}(#t58);
    final core::Iterable<core::num*>* #t59 = numSet1;
    if(!#t59.{core::Object::==}(null))
      #t48.{core::Set::addAll}{Invariant}(#t59);
    final core::Iterable<core::num*>* #t60 = numSet2;
    if(!#t60.{core::Object::==}(null))
      #t48.{core::Set::addAll}{Invariant}(#t60);
  } =>#t48;
  self::expect(core::List::generate<core::num*>(24, (core::int* i) → core::int* => i).{core::Iterable::toSet}(), set4);
}
static method main() → dynamic {
  self::useAddAll();
}
static method expect(core::Set<dynamic>* set1, core::Set<dynamic>* set2) → void {
  if(!set1.{_in::EfficientLengthIterable::length}.{core::num::==}(set2.{_in::EfficientLengthIterable::length})) {
    throw "Unexpected length. Expected ${set1.{_in::EfficientLengthIterable::length}}, actual ${set2.{_in::EfficientLengthIterable::length}}.";
  }
  for (dynamic element in set1) {
    if(!set2.{core::Set::contains}(element)) {
      throw "Element ${element} not found. Expected ${set1}, actual ${set2}.";
    }
  }
}