blob: 115dfc6e91944d191d4f7f1285ff9e5f25235617 [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 An if element:
* ...
* It is a compile-time error if the condition evaluates to false and the else
* expression, if it exists, is not a constant expression.
*
* @description Checks that it is a compile-time error if the condition
* evaluates to false and the else expression is not a constant expression.
* @author ngl@unipro.ru
*/
// SharedOptions=--enable-experiment=constant-update-2018
main() {
const t = false;
var x = 1;
List<int> list1 = const [if (t) 1 else x]; //# 01: compile-time error
const List<int> list2 = [if (t) 2 else x + 1]; //# 02: compile-time error
var list3 = const [if (t) 3 else x - 1]; //# 03: compile-time error
var list4 = const <int>[if (t) 4 else x - 2]; //# 04: compile-time error
const list5 = [if (t) 5 else x + 2]; //# 05: compile-time error
Set<int> set1 = const {if (t) 1 else x}; //# 06: compile-time error
const Set<int> set2 = {if (t) 2 else x - 1}; //# 07: compile-time error
var set3 = const {if (t) 3 else x + 1}; //# 08: compile-time error
var set4 = const <int>{if (t) 4 else x + 2}; //# 09: compile-time error
const set5 = {if (t) 5 else x - 2}; //# 10: compile-time error
Map<int, String> map1 = const {if (t) 1: "1x" else x: "x"}; //# 11: compile-time error
const Map<int, String> map2 = {if (t) 2: "2x" else x - 1: "x-1"}; //# 12: compile-time error
var map3 = const {if (t) 3: "3x" else x + 1: "x+1"}; //# 13: compile-time error
var map4 = const <int, String>{if (t) 4: "4x" else x - 2: "x-2"}; //# 14: compile-time error
const map5 = {if (t) 5: "5x" else x + 2: "x+2"}; //# 15: compile-time error
}