// 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 The static type of a double valued integer literal is [double]
///
/// @description Checks that the static type of a double valued integer literal
/// is [double]. Test this assignment expression and hexadecimal values
/// @author sgrekhov@unipro.ru
/// @issue 43461

class C {
  double? m1;

  void set instanceSetter(double val) {
    m1 = val;
  }

  test() {
    this.m1 = 0x42;
    this.m1 = (1 > 0 ? 0x42 : 3.14);
    this.m1 = (null ?? 0x42);
    this?.m1 = -0x42;
//      ^^
// [analyzer] STATIC_WARNING.INVALID_NULL_AWARE_OPERATOR
    this.m1 ??= 0x42;
    this?.m1 ??= -0x42;
//      ^^
// [analyzer] STATIC_WARNING.INVALID_NULL_AWARE_OPERATOR

    this.instanceSetter = 0x42;
    this?.instanceSetter = -0x42;
//      ^^
// [analyzer] STATIC_WARNING.INVALID_NULL_AWARE_OPERATOR
  }
}

main() {
  C c = C();
  c.test();
}