Language/Expressions/Shift/integer_t05.dart

// Copyright (c) 2019, 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 N/A
/// @description Checks that triple right shift argument cannot be negative and
/// cause compile time error if this is a constant expression (see co19 Issue
/// #355 for more details)
/// @author iarkh@unipro.ru

// SharedOptions=--enable-experiment=triple-shift

main() {
  const int i1 = 12345;
  const int i2 = -11;
  const int i3 = -12345;

  const res1 = i1 >>> i2;    //# 01: compile-time error
  const res2 = i1 >>> i3;    //# 02: compile-time error
  const res3 = i2 >>> i3;    //# 03: compile-time error
  const res4 = i3 >>> i2;    //# 04: compile-time error

  const res5 = i1 >>> -2;    //# 05: compile-time error
  const res6 = 2000 >>> i3;  //# 06: compile-time error
  const res7 = 2000 >>> -14; //# 07: compile-time error
}