/*
 * 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 compile-time error if any of the elements being spread in
 * a const set are equal to other elements in the set literal, in the spread, or
 * in other spreads in the same set, as in:
 *
 *   const list = [1, 2];
 *   const set = {1, ...list}; // Error because 1 is duplicated.
 *
 * @description Checks that elements cannot be duplicated in the constant set.
 * @author iarkh@unipro.ru
 */

const List list1 = [2, 7, 9];
const List list2 = [2, 12, 33];
const List list3 = [2, 12, 4, 12, 11, 0, 3];

main() {
  const res1 = {...list1, ...list2};
  //           ^
  // [cfe] Constant evaluation error:
  //                         ^^^^^
  // [analyzer] COMPILE_TIME_ERROR.EQUAL_ELEMENTS_IN_CONST_SET
  const res2 = {1, 14, ...?list1, 99, ...list2};
// [error line 28, column 0]
// [analyzer] unspecified
// [cfe] unspecified
  const res3 = {...list2, ...list1};
  //           ^
  // [cfe] Constant evaluation error:
  //                         ^^^^^
  // [analyzer] COMPILE_TIME_ERROR.EQUAL_ELEMENTS_IN_CONST_SET
  const res4 = {...?list3};
// [error line 37, column 0]
// [analyzer] unspecified
// [cfe] unspecified
  const res5 = {...list3};
  //           ^
  // [cfe] Constant evaluation error:
  //               ^^^^^
  // [analyzer] COMPILE_TIME_ERROR.EQUAL_ELEMENTS_IN_CONST_SET
  const res6 = {2, 4, ...?list1, 14};
// [error line 46, column 0]
// [analyzer] unspecified
// [cfe] unspecified
  const res7 = {...?list2, 12, 33};
// [error line 50, column 0]
// [analyzer] unspecified
// [cfe] unspecified
  const res8 = {1, 10, ...list1, 6, 9, 2};
// [error line 54, column 0]
// [analyzer] unspecified
// [cfe] unspecified
  const res9 = {1, ...list1, ...list2, ...list3, ...?list4, 18};
// [error line 58, column 0]
// [analyzer] unspecified
// [cfe] unspecified
}