blob: a5d9c50626f0ce56533a65b8b21d50df82272630 [file] [log] [blame]
// Copyright (c) 2018, 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 From the Constant-update-2018 Spec:
/// The operator [>>>] is now allowed in a potentially constant expression, and
/// it is valid in constant expression if its left and right operands are [int]
/// instances, and the operation doesn't throw. The [>>>] operator has not been
/// added to the [int] class yet, so unless the left-hand operand's static type
/// is [dynamic], the program will still be rejected. When the operator is added,
/// it should then also work in a constant expression.
/// @description Checks that arguments of [>>>] operator should be int.
/// @author iarkh@unipro.ru
// SharedOptions=--enable-experiment=triple-shift
class MyClass {
final int a;
const MyClass(i1, i2) : a = (i1 >>> i2);
}
main() {
const MyClass c1 = MyClass(1.0, 1); //# 01: compile-time error
const MyClass c2 = MyClass(125.12, 2); //# 02: compile-time error
const MyClass c3 = MyClass("abcd", 2); //# 03: compile-time error
const MyClass c4 = MyClass(12, "testme"); //# 04: compile-time error
}