| // 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 expression is not constant or |
| /// does not evaluate to true or false. |
| /// |
| /// @description Checks that it is a compile-time error if the condition |
| /// expression does not evaluate to true or false |
| /// @author sgrekhov@unipro.ru |
| |
| main() { |
| var x = 1; |
| List<int> list1 = const [if (1) 1, 1 ]; |
| // ^ |
| // [analyzer] COMPILE_TIME_ERROR.NON_BOOL_CONDITION |
| // [cfe] A value of type 'int' can't be assigned to a variable of type 'bool'. |
| const List<int> list2 = [if (0) 1, 1 ]; |
| // ^ |
| // [analyzer] COMPILE_TIME_ERROR.NON_BOOL_CONDITION |
| // [cfe] A value of type 'int' can't be assigned to a variable of type 'bool'. |
| var list3 = const [if ("s") 1, 1, ]; |
| // ^^^ |
| // [analyzer] COMPILE_TIME_ERROR.NON_BOOL_CONDITION |
| // [cfe] A value of type 'String' can't be assigned to a variable of type 'bool'. |
| var list4 = const <int>[if (0) 1, 1, ]; |
| // ^ |
| // [analyzer] COMPILE_TIME_ERROR.NON_BOOL_CONDITION |
| // [cfe] A value of type 'int' can't be assigned to a variable of type 'bool'. |
| const list5 = [if (0) 1, 1 ]; |
| // ^ |
| // [analyzer] COMPILE_TIME_ERROR.NON_BOOL_CONDITION |
| // [cfe] A value of type 'int' can't be assigned to a variable of type 'bool'. |
| |
| Set<int> set1 = const {if (0) 1, -1 }; |
| // ^ |
| // [analyzer] COMPILE_TIME_ERROR.NON_BOOL_CONDITION |
| // [cfe] A value of type 'int' can't be assigned to a variable of type 'bool'. |
| const Set<int> set2 = {if (1) 1, -1 }; |
| // ^ |
| // [analyzer] COMPILE_TIME_ERROR.NON_BOOL_CONDITION |
| // [cfe] A value of type 'int' can't be assigned to a variable of type 'bool'. |
| var set3 = const {if ("s") 1, -1, }; |
| // ^^^ |
| // [analyzer] COMPILE_TIME_ERROR.NON_BOOL_CONDITION |
| // [cfe] A value of type 'String' can't be assigned to a variable of type 'bool'. |
| var set4 = const <int>{if (0) 1, -1, }; |
| // ^ |
| // [analyzer] COMPILE_TIME_ERROR.NON_BOOL_CONDITION |
| // [cfe] A value of type 'int' can't be assigned to a variable of type 'bool'. |
| const set5 = {if (1) 1, -1 }; |
| // ^ |
| // [analyzer] COMPILE_TIME_ERROR.NON_BOOL_CONDITION |
| // [cfe] A value of type 'int' can't be assigned to a variable of type 'bool'. |
| |
| Map<int, String> map1 = const {if (0) 1: "1"}; |
| // ^ |
| // [analyzer] COMPILE_TIME_ERROR.NON_BOOL_CONDITION |
| // [cfe] A value of type 'int' can't be assigned to a variable of type 'bool'. |
| const Map<int, String> map2 = {if (1) 1: "x"}; |
| // ^ |
| // [analyzer] COMPILE_TIME_ERROR.NON_BOOL_CONDITION |
| // [cfe] A value of type 'int' can't be assigned to a variable of type 'bool'. |
| var map3 = const {if ("s") 1: "x"}; |
| // ^^^ |
| // [analyzer] COMPILE_TIME_ERROR.NON_BOOL_CONDITION |
| // [cfe] A value of type 'String' can't be assigned to a variable of type 'bool'. |
| var map4 = const <int, String>{if (0) 1: "x"}; |
| // ^ |
| // [analyzer] COMPILE_TIME_ERROR.NON_BOOL_CONDITION |
| // [cfe] A value of type 'int' can't be assigned to a variable of type 'bool'. |
| const map5 = {if (0.0) 1: "x" }; |
| // ^^^ |
| // [analyzer] unspecified |
| // [cfe] unspecified |
| } |
