// 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};
//                                       ^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
  const res3 = {...list2, ...list1};
  //           ^
  // [cfe] Constant evaluation error:
  //                         ^^^^^
  // [analyzer] COMPILE_TIME_ERROR.EQUAL_ELEMENTS_IN_CONST_SET
  const res4 = {...?list3};
//                  ^^^^^
// [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};
//                        ^^^^^
// [analyzer] unspecified
// [cfe] unspecified
  const res7 = {...?list2, 12, 33};
//                         ^^
// [analyzer] unspecified
// [cfe] unspecified
  const res8 = {1, 10, ...list1, 6, 9, 2};
//                                  ^
// [analyzer] unspecified
// [cfe] unspecified
  const res9 = {1, ...list1, ...list2, ...list3, ...?list4, 18};
//                              ^^^^^
// [analyzer] unspecified
// [cfe] unspecified
}