/*
 * Copyright (c) 2016, 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 Error thrown by the runtime system when a cast operation fails.
 * @description Checks that CastError is thrown by runtime when cast operation
 * fails
 * @author sgrekhov@unipro.ru
 */
import "../../../Utils/expect.dart";

main() {
  int counter = 0;
  dynamic x = "1";
  try {
    dynamic y = x as int;
  } on CastError {
    counter++;
  } catch (e) {
    Expect.fail("Wrong exception is thrown: " + e.toString());
  }
  Expect.equals(1, counter);
}