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