/*
 * 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 An entry element (the base case in maps):
 *
 * It is a compile-time error if the key and value expressions are not constant
 * expressions.
 *
 * As is already the case in Dart, it is a compile-time error if the key is an
 * instance of a class that implements the operator == unless the key is a
 * Boolean, string, an integer, a literal symbol or the result of invoking a
 * constant constructor of class Symbol. It is a compile-time error if the type
 * arguments of a constant map literal include a type parameter.
 *
 * The expansion is the entry formed by the key and value expression values.
 *
 * @description Checks that it is a compile-time error if the key or value
 * expressions are not constant expressions.
 * @author sgrekhov@unipro.ru
 */
// SharedOptions=--enable-experiment=constant-update-2018

main() {
  var x = 1;
  var y = "y";
  Map<int, String> map1 = const {if (1 > 0) x: "1"};  //# 01: compile-time error
  Map<int, String> map2 = const {if (1 > 0) 1: y};    //# 02: compile-time error
  const Map<int, String> map3 = {if (1 > 0) x: "x"};  //# 03: compile-time error
  const Map<int, String> map4 = {if (1 > 0) 1: y};    //# 04: compile-time error
  var map5 = const {if (1 > 0) x: "x"};               //# 05: compile-time error
  var map6 = const {if (1 > 0) 1: y};                 //# 06: compile-time error
  var map7 = const <int, String>{if (1 > 0) x: "x"};  //# 07: compile-time error
  var map8 = const <int, String>{if (1 > 0) 1: y};    //# 08: compile-time error
  const map9 = {if (1 > 0) x: "x" };                  //# 09: compile-time error
  const map10 = {if (1 > 0) -1: y };                  //# 10: compile-time error
}