/*
 * Copyright (c) 2011, 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.
 */
/**
 * @assertion Evaluation of a throw expression of the form throw e; proceeds as
 * follows:
 * The expression e is evaluated yielding a value v.
 * If v evaluates to null, then a NullThrownError is thrown. Otherwise, control
 * is transferred to the nearest dynamically enclosing exception handler, with
 * the current exception set to v and the current return value becomes
 * undefined.
 * @description Checks that an expression statement of the form "throw e;"
 * indeed raises an exception and transfers control to the nearest enclosing
 * exception handler if there is one.
 *
 * @author rodionov
 */
import '../../../Utils/expect.dart';

main() {
  void f() => throw "";
  Expect.throws(f, (e) => e is String);
  Expect.throws(() => throw "", (e) => e is String);
}