/*
 * Copyright (c) 2020, 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 It is a compile time error to read a local variable when the
 * variable is definitely unassigned unless the variable is non-final, and
 * non-late, and has nullable type.
 *
 * @description Checks that it's a compile time error to read a local variable
 * when the variable is definitely unassigned
 * @author sgrekhov@unipro.ru
 */


main() {
  int x1;
  x1 *= 2;
//^^
// [analyzer] unspecified
// [cfe] unspecified

  double x2;
  x2 /= 2;
//^^
// [analyzer] unspecified
// [cfe] unspecified

  int x3;
  x3 ~/= 2;
//^^
// [analyzer] unspecified
// [cfe] unspecified

  int x4;
  x4 %= 22;
//^^
// [analyzer] unspecified
// [cfe] unspecified

  int x5;
  x5 += 2;
//^^
// [analyzer] unspecified
// [cfe] unspecified

  int x6;
  x6 -= 2;
//^^
// [analyzer] unspecified
// [cfe] unspecified

  int x7;
  x7 <<= 2;
//^^
// [analyzer] unspecified
// [cfe] unspecified

  int x8;
  x8 >>= 2;
//^^
// [analyzer] unspecified
// [cfe] unspecified

  int x9;
  x9 &= 2;
//^^
// [analyzer] unspecified
// [cfe] unspecified

  int x10;
  x10 ^= 2;
//^^
// [analyzer] unspecified
// [cfe] unspecified

  int x11;
  x11 |= 2;
//^^
// [analyzer] unspecified
// [cfe] unspecified

  int x12;
  x12 ??= 2;
//^^^
// [analyzer] COMPILE_TIME_ERROR.NOT_ASSIGNED_POTENTIALLY_NON_NULLABLE_LOCAL_VARIABLE
//        ^
// [analyzer] STATIC_WARNING.DEAD_NULL_AWARE_EXPRESSION
// [cfe] unspecified
}