// 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 it is a compile error if integer but not a literal
/// is assigned to double local variable
/// @author sgrekhov@unipro.ru

int init() => 42;

class C {

  static void staticMethod() {
    double s1 = init();
    //          ^^^^^^
    // [analyzer] COMPILE_TIME_ERROR.INVALID_ASSIGNMENT
    // [cfe] A value of type 'int' can't be assigned to a variable of type 'double'.
    double? s2 = null;
    s2 ??= init();
    //     ^^^^^^
    // [analyzer] COMPILE_TIME_ERROR.INVALID_ASSIGNMENT
    // [cfe] A value of type 'int' can't be assigned to a variable of type 'double?'.
  }

  void instanceMethod() {
    double m1 = init();
    //          ^^^^^^
    // [analyzer] COMPILE_TIME_ERROR.INVALID_ASSIGNMENT
    // [cfe] A value of type 'int' can't be assigned to a variable of type 'double'.
    double? m2 = null;
    m2 ??= init();
    //     ^^^^^^
    // [analyzer] COMPILE_TIME_ERROR.INVALID_ASSIGNMENT
    // [cfe] A value of type 'int' can't be assigned to a variable of type 'double?'.
  }
}

void foo() {
  double l1 = init();
  //          ^^^^^^
  // [analyzer] COMPILE_TIME_ERROR.INVALID_ASSIGNMENT
  // [cfe] A value of type 'int' can't be assigned to a variable of type 'double'.
  double? l2 = null;
  l2 ??= init();
  //     ^^^^^^
  // [analyzer] COMPILE_TIME_ERROR.INVALID_ASSIGNMENT
  // [cfe] A value of type 'int' can't be assigned to a variable of type 'double?'.
}

main() {
  double d1 = init();
  //          ^^^^^^
  // [analyzer] COMPILE_TIME_ERROR.INVALID_ASSIGNMENT
  // [cfe] A value of type 'int' can't be assigned to a variable of type 'double'.
  double? d2 = null;
  d2 ??= init();
  //     ^^^^^^
  // [analyzer] COMPILE_TIME_ERROR.INVALID_ASSIGNMENT
  // [cfe] A value of type 'int' can't be assigned to a variable of type 'double?'.


  void bar() {
    double b1 = init();
    //          ^^^^^^
    // [analyzer] COMPILE_TIME_ERROR.INVALID_ASSIGNMENT
    // [cfe] A value of type 'int' can't be assigned to a variable of type 'double'.
    double? b2 = null;
    b2 ??= init();
    //     ^^^^^^
    // [analyzer] COMPILE_TIME_ERROR.INVALID_ASSIGNMENT
    // [cfe] A value of type 'int' can't be assigned to a variable of type 'double?'.
  }

  foo();
  bar();
  C.staticMethod();
  new C().instanceMethod();
}