/*
 * 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 Let the key type and value type of a map literal be the
 * corresponding static types of the type arguments for a map literal.
 * So <int, String>{} and {1: "s"} both have a key type of int and a value type
 * of String
 *
 * @description Checks that element type of the map literals is the static type
 * of the type argument used to create the map
 * @author sgrekhov@unipro.ru
 */

main() {
  bool b = true;
  var collection = [3, 1, 4, 1, 5];

  Map<String, int> map1 = {if (b) "1": 1.0};
  //                                   ^^^
  // [analyzer] COMPILE_TIME_ERROR.MAP_VALUE_TYPE_NOT_ASSIGNABLE
  // [cfe] A value of type 'double' can't be assigned to a variable of type 'int'.
  Map<String, int> map2 = {if (b) 1: 1};
  //                              ^
  // [analyzer] COMPILE_TIME_ERROR.MAP_KEY_TYPE_NOT_ASSIGNABLE
  // [cfe] A value of type 'int' can't be assigned to a variable of type 'String'.
  Map<String, int> map3 = {if (!b) "1": 1.0,};
  //                                    ^^^
  // [analyzer] COMPILE_TIME_ERROR.MAP_VALUE_TYPE_NOT_ASSIGNABLE
  // [cfe] A value of type 'double' can't be assigned to a variable of type 'int'.
  Map<String, int> map4 = {if (!b) 1: 1};
  //                               ^
  // [analyzer] COMPILE_TIME_ERROR.MAP_KEY_TYPE_NOT_ASSIGNABLE
  // [cfe] A value of type 'int' can't be assigned to a variable of type 'String'.
  Map<String, int> map5 = {if (b) for (var v in collection) if (v > 3) "$v": "$v",};
  //                                                                         ^^^^
  // [analyzer] COMPILE_TIME_ERROR.MAP_VALUE_TYPE_NOT_ASSIGNABLE
  //                                                                             ^
  // [cfe] A value of type 'String' can't be assigned to a variable of type 'int'.
  Map<String, int> map6 = {if (b) for (var v in collection) if (v > 3) v: v,};
  //                                                                   ^
  // [analyzer] COMPILE_TIME_ERROR.MAP_KEY_TYPE_NOT_ASSIGNABLE
  // [cfe] A value of type 'int' can't be assigned to a variable of type 'String'.
  Map<String, int> map7 = {if (!b) for (var v in collection) if (v > 3) "$v": "$v"};
  //                                                                          ^^^^
  // [analyzer] COMPILE_TIME_ERROR.MAP_VALUE_TYPE_NOT_ASSIGNABLE
  //                                                                              ^
  // [cfe] A value of type 'String' can't be assigned to a variable of type 'int'.
  Map<String, int> map8 = {if (!b) for (var v in collection) if (v > 3) v: v,};
  //                                                                    ^
  // [analyzer] COMPILE_TIME_ERROR.MAP_KEY_TYPE_NOT_ASSIGNABLE
  // [cfe] A value of type 'int' can't be assigned to a variable of type 'String'.

  Map map9  = <String, int>{if (b) "1": 1.0};
  //                                    ^^^
  // [analyzer] COMPILE_TIME_ERROR.MAP_VALUE_TYPE_NOT_ASSIGNABLE
  // [cfe] A value of type 'double' can't be assigned to a variable of type 'int'.
  Map map10 = <String, int>{if (b) 1: 1};
  //                               ^
  // [analyzer] COMPILE_TIME_ERROR.MAP_KEY_TYPE_NOT_ASSIGNABLE
  // [cfe] A value of type 'int' can't be assigned to a variable of type 'String'.
  Map map11 = <String, int>{if (!b) "1": 1.0,};
  //                                     ^^^
  // [analyzer] COMPILE_TIME_ERROR.MAP_VALUE_TYPE_NOT_ASSIGNABLE
  // [cfe] A value of type 'double' can't be assigned to a variable of type 'int'.
  Map map12 = <String, int>{if (!b) 1: 1};
  //                                ^
  // [analyzer] COMPILE_TIME_ERROR.MAP_KEY_TYPE_NOT_ASSIGNABLE
  // [cfe] A value of type 'int' can't be assigned to a variable of type 'String'.
  Map map13 = <String, int>{if (b) for (var v in collection) if (v > 3) "$v": "$v",};
  //                                                                          ^^^^
  // [analyzer] COMPILE_TIME_ERROR.MAP_VALUE_TYPE_NOT_ASSIGNABLE
  //                                                                              ^
  // [cfe] A value of type 'String' can't be assigned to a variable of type 'int'.
  Map map14 = <String, int>{if (b) for (var v in collection) if (v > 3) v: v,};
  //                                                                    ^
  // [analyzer] COMPILE_TIME_ERROR.MAP_KEY_TYPE_NOT_ASSIGNABLE
  // [cfe] A value of type 'int' can't be assigned to a variable of type 'String'.
  Map map15 = <String, int>{if (!b) for (var v in collection) if (v > 3) "$v": "$v"};
  //                                                                           ^^^^
  // [analyzer] COMPILE_TIME_ERROR.MAP_VALUE_TYPE_NOT_ASSIGNABLE
  //                                                                               ^
  // [cfe] A value of type 'String' can't be assigned to a variable of type 'int'.
  Map map16 = <String, int>{if (!b) for (var v in collection) if (v > 3) v: v,};
  //                                                                     ^
  // [analyzer] COMPILE_TIME_ERROR.MAP_KEY_TYPE_NOT_ASSIGNABLE
  // [cfe] A value of type 'int' can't be assigned to a variable of type 'String'.

  const map17 = <String, int>{if (1 > 2) "1": 1.0};
  //                                          ^^^
  // [analyzer] COMPILE_TIME_ERROR.MAP_VALUE_TYPE_NOT_ASSIGNABLE
  // [cfe] A value of type 'double' can't be assigned to a variable of type 'int'.
  const map18 = <String, int>{if (2 > 1) "1": 1.0,};
  //                                          ^^^
  // [analyzer] COMPILE_TIME_ERROR.MAP_VALUE_TYPE_NOT_ASSIGNABLE
  // [cfe] A value of type 'double' can't be assigned to a variable of type 'int'.
  const map19 = <String, int>{if (1 > 2) 1: 1};
  //                                     ^
  // [analyzer] COMPILE_TIME_ERROR.MAP_KEY_TYPE_NOT_ASSIGNABLE
  // [cfe] A value of type 'int' can't be assigned to a variable of type 'String'.
  const map20 = <String, int>{if (2 > 1) 1: 1,};
  //                                     ^
  // [analyzer] COMPILE_TIME_ERROR.MAP_KEY_TYPE_NOT_ASSIGNABLE
  // [cfe] A value of type 'int' can't be assigned to a variable of type 'String'.

  var map21 = const <String, int>{if (1 > 2) "1": 1.0};
  //                                              ^^^
  // [analyzer] COMPILE_TIME_ERROR.MAP_VALUE_TYPE_NOT_ASSIGNABLE
  // [cfe] A value of type 'double' can't be assigned to a variable of type 'int'.
  var map22 = const <String, int>{if (2 > 1) "1": 1.0,};
  //                                              ^^^
  // [analyzer] COMPILE_TIME_ERROR.MAP_VALUE_TYPE_NOT_ASSIGNABLE
  // [cfe] A value of type 'double' can't be assigned to a variable of type 'int'.
  var map23 = const <String, int>{if (1 > 2) 1: 1};
  //                                         ^
  // [analyzer] COMPILE_TIME_ERROR.MAP_KEY_TYPE_NOT_ASSIGNABLE
  // [cfe] A value of type 'int' can't be assigned to a variable of type 'String'.
  var map24 = const <String, int>{if (2 > 1) 1: 1,};
  //                                         ^
  // [analyzer] COMPILE_TIME_ERROR.MAP_KEY_TYPE_NOT_ASSIGNABLE
  // [cfe] A value of type 'int' can't be assigned to a variable of type 'String'.
}