pkg/front_end/testcases/patterns/simple_switch_with_guards_runtime.dart

// Copyright (c) 2023, the Dart project authors.  Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.

test1(dynamic x) {
  switch (x) {
    case [int a] when a > 0:
      return a;
    default:
      return null;
  }
}

test2(dynamic x) {
  switch (x) {
    case [num a, _] when a is int && a.isEven:
    case [_, num a] when a is double && a.ceil().isOdd:
      return a;
    default:
      return null;
  }
}

main() {
  expectEquals(1, test1([1]));
  expectEquals(null, test1([0]));
  expectEquals(null, test1([-1]));

  expectEquals(null, test2([1, "two"]));
  expectEquals(2, test2([2, "three"]));
  expectEquals(null, test2(["one", 1.5]));
  expectEquals(2.5, test2(["two", 2.5]));
  expectEquals(null, test2(null));
}

expectEquals(x, y) {
  if (x != y) {
    throw "Expected ${x} to be equal to ${y}.";
  }
}