// 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);
}