// 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 to use a spread element in a constant
/// list or set unless the spread object was created by a constant list or set
/// literal expression.
/// @description Checks that compile error is thrown if spread element is not a
/// constant list or set literal in the constant set
/// @author iarkh@unipro.ru


List list1 = [2, 7, 9];
Set  list2 = {"checkme"};
List list3 = [];
List? list4 = null;
int i = 7;

main() {
  const res1 =  {...list1};
//                  ^^^^^
// [analyzer] unspecified
// [cfe] unspecified
  const res2 =  {...?list1};
//                   ^^^^^
// [analyzer] unspecified
// [cfe] unspecified
  const res3 =  {...list2};
//                  ^^^^^
// [analyzer] unspecified
// [cfe] unspecified
  const res4 =  {...?list2};
//                   ^^^^^
// [analyzer] unspecified
// [cfe] unspecified
  const res5 =  {...list3};
//                  ^^^^^
// [analyzer] unspecified
// [cfe] unspecified
  const res6 =  {...?list3};
//                   ^^^^^
// [analyzer] unspecified
// [cfe] unspecified
  const res7 =  {...?list4};
//                   ^^^^^
// [analyzer] unspecified
// [cfe] unspecified
  const res8 =  {1, 2, ...list1, 6};
//                        ^^^^^
// [analyzer] unspecified
// [cfe] unspecified
  const res9 =  {1, ...list1, ...list2, ...list3, ...?list4, 18};
//                     ^^^^^
// [analyzer] unspecified
// [cfe] unspecified
  const res10 = {...list1, ...[2]};
//                  ^^^^^
// [analyzer] unspecified
// [cfe] unspecified
  const res11 = {1, ...list1, ...[1, 4]};
//                     ^^^^^
// [analyzer] unspecified
// [cfe] unspecified
  const res12 = {...[2, 3, 2], i};
//                  ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
  const res13 = {1, ...list1, 1};
//                     ^^^^^
// [analyzer] unspecified
// [cfe] unspecified
}