/*
 * 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 operator [>>>] is accepted in potentially constant
 * expressions.
 * @Issue 30886
 * @author iarkh@unipro.ru
 */
// SharedOptions=--enable-experiment=constant-update-2018,triple-shift
import "../../Utils/expect.dart";

class MyClass {
  final int a;
  const MyClass(int i1, int i2) : a = (i1 >>> i2);
}

main() {
  const x = 12345;

  const MyClass c1 = MyClass(-2, 1);
  Expect.equals(-2 >>> 1, c1.a);

  const MyClass c2 = MyClass(125, 2);
  Expect.equals(125 >>> 2, c2.a);

  const MyClass c3 = MyClass(x, 1000);
  Expect.equals(x >>> 1000, c3.a);

  const MyClass c4 = MyClass(4, 1);
  Expect.equals(4 >>> 1, c4.a);

  const MyClass c5 = MyClass(0, x);
  Expect.equals(0 >>> x, c5.a);

  const MyClass c6 = MyClass(1, 0);
  Expect.equals(1 >>> 0, c6.a);
}