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

// @dart = 2.9

/// @assertion E firstWhere(bool test(E element), {Object orElse()})
/// ...
/// If orElse is omitted, it defaults to throwing a [StateError].
/// @description Checks that a [StateError] is thrown if no element satisfies
/// test and orElse is omitted.
/// @author msyabro


import "dart:typed_data";
import "../../../Utils/expect.dart";

check(List<int> list) {
  var l = new Int32List.fromList(list);
  try {
    l.firstWhere((e) => false);
    Expect.fail("StateError is expected");
  } on StateError {}
}

main() {
  check([]);
  check([0]);
  check([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]);
}