/*
 * 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.
 * @Issue 30886
 * @author iarkh@unipro.ru
 */
// SharedOptions=--enable-experiment=triple-shift

main() {
  const d1 = 14;
  const d2 = 11.43;
  const d3 = "testme";
  const d4 = null;

  const c1 = d1 >>> d2;
// [error line 26, column 0]
// [analyzer] unspecified
// [cfe] unspecified
  const c2 = d2 >>> d1;
// [error line 30, column 0]
// [analyzer] unspecified
// [cfe] unspecified
  const c3 = d3 >>> 11;
// [error line 34, column 0]
// [analyzer] unspecified
// [cfe] unspecified
  const c4 = 1 >>> d3;
// [error line 38, column 0]
// [analyzer] unspecified
// [cfe] unspecified
  const c5 = d4 >>> 2;
  //         ^^^^^^^^
  // [analyzer] COMPILE_TIME_ERROR.CONST_EVAL_THROWS_EXCEPTION
  //            ^
  // [cfe] Constant evaluation error:
  const c6 = 24 >>> d4;
// [error line 47, column 0]
// [analyzer] unspecified
// [cfe] unspecified
}