// 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 In a constant list or set, a spread element expands at compile
/// time to the series of elements contained in the spread object list.
/// @description Checks that a spread set element expands at compile time to the
/// series of elements contained in the spread object list.
/// @author iarkh@unipro.ru


import "../../Utils/expect.dart";

const List list1 = [2, 7, 9];
const List list2 = ["checkme"];
const List list3 = [];
const List? list4 = null;

main() {
  const res1 = {...list1};
  Expect.setEquals((list1 as List).toSet(), res1);
  const res2 = {...?list1};
//              ^^^^
// [analyzer] STATIC_WARNING.INVALID_NULL_AWARE_OPERATOR
//                  ^
// [cfe] Operand of null-aware operation '...?' has type 'List<dynamic>' which excludes null.
  Expect.setEquals((list1 as List).toSet(), res2);

  const res3 = {...list2};
  Expect.setEquals((list2 as List).toSet(), res3);
  const res4 = {...?list2};
//              ^^^^
// [analyzer] STATIC_WARNING.INVALID_NULL_AWARE_OPERATOR
//                  ^
// [cfe] Operand of null-aware operation '...?' has type 'List<dynamic>' which excludes null.
  Expect.setEquals((list2 as List).toSet(), res4);

  const res5 = {...list3};
  Expect.setEquals((list3 as List).toSet(), res5);
  const res6 = {...?list3};
//              ^^^^
// [analyzer] STATIC_WARNING.INVALID_NULL_AWARE_OPERATOR
//                  ^
// [cfe] Operand of null-aware operation '...?' has type 'List<dynamic>' which excludes null.
  Expect.setEquals((list3 as List).toSet(), res6);

  const res7 = {...?list4};
  Expect.setEquals([].toSet(), res7);

  const res8 = {1, 10, ...list1, 6};
  Expect.setEquals({1, 10, 2, 7, 9, 6}, res8);

  const res9 = {1, ...list1, ...list2, ...list3, ...?list4, 18};
  Expect.setEquals({1, 2, 7, 9, "checkme", 18}, res9);
}