blob: 0bcf21ff8c99682bf53c9f04aed813c2f61ab210 [file] [log] [blame]
/*
* 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:
*
* If there is exactly one type argument [T], then [e] is a set literal with
* static type [Set<T>].
*
* @description Checks that [setOrMapLiteral] has one type argument, it's a set.
* @compile-error
* @author iarkh@unipro.ru
*/
main() {
Map aMap = {1: 1, 2: 2, 3: 3};
var res = <int>{...aMap};
}