/*
 * 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 It is a static error if:
 *    If a map spread element's static type implements [Map<K, V>] for some [K]
 *    and [V] and [K] is not assignable to the key type of the map or [V] is not
 *    assignable to the value type of the map.
 * @description Checks that compile error is thrown if spread element type in
 * map literal is not assignable to the type of the map.
 * @author iarkh@unipro.ru
 */

main() {
  test1();
  test2();
}

void test1() {
  Map<String, int> m1 = <String, int>{};
  Map<int, int> m2 = <int, int>{};
  Map<String, String> m3 = <String, String>{};
  Map<bool, bool> m4 = <bool, bool>{};
  Map<bool, bool> m5 = <bool, bool>{true: false, false: true};
  Map<String, int> m6 = <String, int>{"1": 11};
  Map<int, int> m7 = <int, int>{1: 22, 2: 13, 3: 4};
  Map<String, String> m8 = <String, String>{"1": "22", "2": "13", "3": "4"};

  Map map1  = <int, String>{...m1};
// [error line 31, column 0]
// [analyzer] unspecified
// [cfe] unspecified
  Map map2  = <int, String>{...m2};
  //                           ^^
  // [analyzer] COMPILE_TIME_ERROR.MAP_VALUE_TYPE_NOT_ASSIGNABLE
  // [cfe] Can't assign spread entry values of type 'int' to map entry values of type 'String'.
  Map map3  = <int, String>{...m3};
  //                           ^^
  // [analyzer] COMPILE_TIME_ERROR.MAP_KEY_TYPE_NOT_ASSIGNABLE
  // [cfe] Can't assign spread entry keys of type 'String' to map entry keys of type 'int'.
  Map map4  = <int, String>{...m4};
// [error line 43, column 0]
// [analyzer] unspecified
// [cfe] unspecified
  Map map5  = <int, String>{...m5};
// [error line 47, column 0]
// [analyzer] unspecified
// [cfe] unspecified
  Map map6  = <int, String>{...m6};
// [error line 51, column 0]
// [analyzer] unspecified
// [cfe] unspecified
  Map map7  = <int, String>{...m7};
  //                           ^^
  // [analyzer] COMPILE_TIME_ERROR.MAP_VALUE_TYPE_NOT_ASSIGNABLE
  // [cfe] Can't assign spread entry values of type 'int' to map entry values of type 'String'.
  Map map8  = <int, String>{...m8};
  //                           ^^
  // [analyzer] COMPILE_TIME_ERROR.MAP_KEY_TYPE_NOT_ASSIGNABLE
  // [cfe] Can't assign spread entry keys of type 'String' to map entry keys of type 'int'.
}

void test2() {
  Map<String, int>? m1 = <String, int>{};
  Map<int, int>? m2 = <int, int>{};
  Map<String, String>? m3 = <String, String>{};
  Map<bool, bool>? m4 = <bool, bool>{};
  Map<bool, bool>? m5 = <bool, bool>{true: false, false: true};
  Map<String, int>? m6 = <String, int>{"1": 11};
  Map<int, int>? m7 = <int, int>{1: 22, 2: 13, 3: 4};
  Map<String, String>? m8 = <String, String>{"1": "22", "2": "13", "3": "4"};

  Map map9  = <int, String>{...?m1};
// [error line 75, column 0]
// [analyzer] unspecified
// [cfe] unspecified
  Map map10 = <int, String>{...?m2};
// [error line 79, column 0]
// [analyzer] unspecified
// [cfe] unspecified
  Map map11 = <int, String>{...?m3};
// [error line 83, column 0]
// [analyzer] unspecified
// [cfe] unspecified
  Map map12 = <int, String>{...?m4};
// [error line 87, column 0]
// [analyzer] unspecified
// [cfe] unspecified
  Map map13 = <int, String>{...?m5};
// [error line 91, column 0]
// [analyzer] unspecified
// [cfe] unspecified
  Map map14 = <int, String>{...?m6};
// [error line 95, column 0]
// [analyzer] unspecified
// [cfe] unspecified
  Map map15 = <int, String>{...?m7};
// [error line 99, column 0]
// [analyzer] unspecified
// [cfe] unspecified
  Map map16 = <int, String>{...?m8};
// [error line 103, column 0]
// [analyzer] unspecified
// [cfe] unspecified
}