blob: d34f5ec1099112c7cdc1b8e0d3fe7a8dcda9a428 [file] [log] [blame]
// Copyright (c) 2018, 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 values of the constant
/// element expressions override Object.operator== unless they are instances of
/// int or String, objects implementing Symbol originally created by a symbol
/// literal or a constant invocation of the Symbol constructor, or objects
/// implementing Type originally created by a constant type literal expression.
/// It is a compile-time error if any two of the values are equal according to ==
///
/// @description Checks that it is a compile-time error if any any two of the
/// values are equal according to ==
/// @author sgrekhov@unipro.ru
main() {
var v1 = const {1, 2, 1};
// ^
// [cfe] Constant evaluation error:
// ^
// [analyzer] COMPILE_TIME_ERROR.EQUAL_ELEMENTS_IN_CONST_SET
const v2 = const {1, 2, 1};
// ^
// [cfe] Constant evaluation error:
// ^
// [analyzer] COMPILE_TIME_ERROR.EQUAL_ELEMENTS_IN_CONST_SET
const v3 = {1, 2, 1};
// ^
// [cfe] Constant evaluation error:
// ^
// [analyzer] COMPILE_TIME_ERROR.EQUAL_ELEMENTS_IN_CONST_SET
var v4 = const {1, null, null};
// ^
// [cfe] Constant evaluation error:
// ^^^^
// [analyzer] COMPILE_TIME_ERROR.EQUAL_ELEMENTS_IN_CONST_SET
const v5 = const {'a', 'b', 'c', 'a'};
// ^
// [cfe] Constant evaluation error:
// ^^^
// [analyzer] COMPILE_TIME_ERROR.EQUAL_ELEMENTS_IN_CONST_SET
const v6 = {'a', 'b', 'c', 'a'};
// ^
// [cfe] Constant evaluation error:
// ^^^
// [analyzer] COMPILE_TIME_ERROR.EQUAL_ELEMENTS_IN_CONST_SET
}