library;
//
// Problems in library:
//
// pkg/front_end/testcases/patterns/if_else_in_collections_errors.dart:5:50: Error: Undefined name 'y'.
// test1(dynamic x) => [1, if (x case int y) 2 else y, 3]; // Error.
//                                                  ^
//
// pkg/front_end/testcases/patterns/if_else_in_collections_errors.dart:7:55: Error: Undefined name 'y'.
// test2(dynamic x) => <int>{1, if (x case int y) 2 else y, 3}; // Error.
//                                                       ^
//
// pkg/front_end/testcases/patterns/if_else_in_collections_errors.dart:9:69: Error: Undefined name 'y'.
// test3(dynamic x) => <int, int>{1: 1, if (x case int y) 2: 2 else 2: y, 3: 3}; // Error.
//                                                                     ^
//
import self as self;
import "dart:core" as core;
import "dart:collection" as col;

static method test1(dynamic x) → dynamic
  return block {
    final core::List<core::int> #t1 = <core::int>[1];
    {
      final synthesized dynamic #0#0 = x;
      {
        hoisted core::int y;
        if(#0#0 is core::int) {
          y = #0#0{core::int};
          #t1.{core::List::add}{Invariant}(2){(core::int) → void};
        }
        else
          #t1.{core::List::add}{Invariant}(invalid-expression "pkg/front_end/testcases/patterns/if_else_in_collections_errors.dart:5:50: Error: Undefined name 'y'.
test1(dynamic x) => [1, if (x case int y) 2 else y, 3]; // Error.
                                                 ^"){(core::int) → void};
      }
    }
    #t1.{core::List::add}{Invariant}(3){(core::int) → void};
  } =>#t1;
static method test2(dynamic x) → dynamic
  return block {
    final core::Set<core::int> #t2 = col::LinkedHashSet::•<core::int>();
    #t2.{core::Set::add}{Invariant}(1){(core::int) → core::bool};
    {
      final synthesized dynamic #0#0 = x;
      {
        hoisted core::int y;
        if(#0#0 is core::int) {
          y = #0#0{core::int};
          #t2.{core::Set::add}{Invariant}(2){(core::int) → core::bool};
        }
        else
          #t2.{core::Set::add}{Invariant}(invalid-expression "pkg/front_end/testcases/patterns/if_else_in_collections_errors.dart:7:55: Error: Undefined name 'y'.
test2(dynamic x) => <int>{1, if (x case int y) 2 else y, 3}; // Error.
                                                      ^"){(core::int) → core::bool};
      }
    }
    #t2.{core::Set::add}{Invariant}(3){(core::int) → core::bool};
  } =>#t2;
static method test3(dynamic x) → dynamic
  return block {
    final core::Map<core::int, core::int> #t3 = <core::int, core::int>{};
    #t3.{core::Map::[]=}{Invariant}(1, 1){(core::int, core::int) → void};
    {
      final synthesized dynamic #0#0 = x;
      {
        hoisted core::int y;
        if(#0#0 is core::int) {
          y = #0#0{core::int};
          #t3.{core::Map::[]=}{Invariant}(2, 2){(core::int, core::int) → void};
        }
        else
          #t3.{core::Map::[]=}{Invariant}(2, invalid-expression "pkg/front_end/testcases/patterns/if_else_in_collections_errors.dart:9:69: Error: Undefined name 'y'.
test3(dynamic x) => <int, int>{1: 1, if (x case int y) 2: 2 else 2: y, 3: 3}; // Error.
                                                                    ^"){(core::int, core::int) → void};
      }
    }
    #t3.{core::Map::[]=}{Invariant}(3, 3){(core::int, core::int) → void};
  } =>#t3;
static method main() → dynamic {}