// Copyright (c) 2022, 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.

test(dynamic x) {
  if (x case [int a] when a > 0) {
    return a;
  }
  return 0;
}

main() {
  expectEquals(1, test([1]));
  expectEquals(0, test([0]));
  expectEquals(0, test([-1]));
}

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