library dynamic_check;
import "expect.dart";

checkTypeError(f()) {
  Expect.throws(f, (e) => e is TypeError || e is CastError,
      "Type error should be thrown");
}

/**
 * Check that dynamic error occurs. Dart specification (3rd Edition/June 12015)
 * does not specify what is 'dynamic erros'
 * (see https://github.com/dart-lang/sdk/issues/24394 ). So, for now,
 * this is a stub that checks that Error is thrown
 */
checkDynamicError(f()) {
  Expect.throws(f, (e) => e is Error, "Dynamic Error should be thrown");
}