/*
 * 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 (Unified collections) Let [e] be a [setOrMapLiteral].
 *
 * If [e] has a context [C], and the base type of [C] is [Cbase] (that is,
 * [Cbase] is [C] with all wrapping [FutureOrs] removed), and [Cbase] is not
 * [?], then let [S] be the greatest closure.
 *
 * If [e] has [typeArguments] then:
 * ...
 * Otherwise (three or more type arguments), report a compile-time error.
 *
 * @description Checks that [setOrMapLiteral] has one type argument, it's a set.
 * @author iarkh@unipro.ru
 */

main() {
  Set? aSet   = {1, 2, 3};
  List? aList = [1, 2, 3];
  Map? aMap   = {1: 1, 2: 2, 3: 3};

  var res1  = <int, int, int>{...aList};
// [error line 26, column 0]
// [analyzer] unspecified
// [cfe] unspecified
  var res2  = <int, int, int, int>{...aList};
// [error line 30, column 0]
// [analyzer] unspecified
// [cfe] unspecified
  var res3  = <int, int, int, int, int>{...aList};
// [error line 34, column 0]
// [analyzer] unspecified
// [cfe] unspecified

  var res4  = <int, int, int>{...?aList};
// [error line 39, column 0]
// [analyzer] unspecified
// [cfe] unspecified
  var res5  = <int, int, int, int>{...?aList};
// [error line 43, column 0]
// [analyzer] unspecified
// [cfe] unspecified
  var res6  = <int, int, int, int, int>{...?aList};
// [error line 47, column 0]
// [analyzer] unspecified
// [cfe] unspecified

  var res7  = <int, int, int>{...aSet};
// [error line 52, column 0]
// [analyzer] unspecified
// [cfe] unspecified
  var res8  = <int, int, int, int>{...aSet};
// [error line 56, column 0]
// [analyzer] unspecified
// [cfe] unspecified
  var res9  = <int, int, int, int, int>{...aSet};
// [error line 60, column 0]
// [analyzer] unspecified
// [cfe] unspecified

  var res10 = <int, int, int>{...?aSet};
// [error line 65, column 0]
// [analyzer] unspecified
// [cfe] unspecified
  var res11 = <int, int, int, int>{...?aSet};
// [error line 69, column 0]
// [analyzer] unspecified
// [cfe] unspecified
  var res12 = <int, int, int, int, int>{...?aSet};
// [error line 73, column 0]
// [analyzer] unspecified
// [cfe] unspecified

  var res13 = <int, int, int>{...aMap};
//            ^^^^^^^^^^^^^^^
// [analyzer] COMPILE_TIME_ERROR.EXPECTED_TWO_MAP_TYPE_ARGUMENTS
// [cfe] A set or map literal requires exactly one or two type arguments, respectively.
  var res14 = <int, int, int, int>{...aMap};
//            ^^^^^^^^^^^^^^^^^^^^
// [analyzer] COMPILE_TIME_ERROR.EXPECTED_TWO_MAP_TYPE_ARGUMENTS
// [cfe] A set or map literal requires exactly one or two type arguments, respectively.
  var res15 = <int, int, int, int, int>{...aMap};
//            ^^^^^^^^^^^^^^^^^^^^^^^^^
// [analyzer] COMPILE_TIME_ERROR.EXPECTED_TWO_MAP_TYPE_ARGUMENTS
// [cfe] A set or map literal requires exactly one or two type arguments, respectively.

  var res16 = <int, int, int>{...?aMap};
// [error line 91, column 0]
// [analyzer] unspecified
// [cfe] unspecified
  var res17 = <int, int, int, int>{...?aMap};
// [error line 95, column 0]
// [analyzer] unspecified
// [cfe] unspecified
  var res18 = <int, int, int, int, int>{...?aMap};
// [error line 99, column 0]
// [analyzer] unspecified
// [cfe] unspecified
}