blob: 6d7943fcb9f06fc74264b146a62224683b7394b1 [file] [log] [blame]
// 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.
// Dart version of two-argument Ackermann-Peter function.
import "package:expect/expect.dart";
main() {
try {
print("abcdef".substring(1.5, 3.5));
// ^^^
// [analyzer] COMPILE_TIME_ERROR.ARGUMENT_TYPE_NOT_ASSIGNABLE
// [cfe] The argument type 'double' can't be assigned to the parameter type 'int'.
// ^^^
// [analyzer] COMPILE_TIME_ERROR.ARGUMENT_TYPE_NOT_ASSIGNABLE
// [cfe] The argument type 'double' can't be assigned to the parameter type 'int?'.
Expect.fail("Should have thrown an exception");
} on TypeError catch (e) {
// OK.
} on ArgumentError catch (e) {
// OK.
}
}