| /* |
| * 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 It is a compile-time error if: |
| * A spread element in a map literal has a static type that is not [dynamic] and |
| * not a subtype of [Map<Object, Object>]. |
| * @description Checks that compile error is thrown if null-aware spread element |
| * in the map is not dynamic, is not assignable to [Map] and is not [null] |
| * @author iarkh@unipro.ru |
| */ |
| |
| import "dart:async"; |
| |
| main() { |
| Object? x1; |
| List? x2; |
| Set? x3; |
| int? x4; |
| Iterable? x5; |
| void x6; |
| Future? x7; |
| FutureOr x8; |
| |
| Map m1 = {...?x1}; |
| // ^^ |
| // [analyzer] COMPILE_TIME_ERROR.NOT_MAP_SPREAD |
| // [cfe] Unexpected type 'Object?' of a map spread entry. Expected 'dynamic' or a Map. |
| Map m2 = {...?x2}; |
| // ^^^^^^^^ |
| // [analyzer] COMPILE_TIME_ERROR.INVALID_ASSIGNMENT |
| // [cfe] Both Iterable and Map spread elements encountered in ambiguous literal. |
| Map m3 = {...?x3}; |
| // ^^^^^^^^ |
| // [analyzer] COMPILE_TIME_ERROR.INVALID_ASSIGNMENT |
| // [cfe] Both Iterable and Map spread elements encountered in ambiguous literal. |
| Map m4 = {...?x4}; |
| // ^^ |
| // [analyzer] COMPILE_TIME_ERROR.NOT_MAP_SPREAD |
| // [cfe] Unexpected type 'int?' of a map spread entry. Expected 'dynamic' or a Map. |
| Map m5 = {...?x5}; |
| // ^^^^^^^^ |
| // [analyzer] COMPILE_TIME_ERROR.INVALID_ASSIGNMENT |
| // [cfe] Both Iterable and Map spread elements encountered in ambiguous literal. |
| Map m6 = {...?x6}; |
| // ^^ |
| // [analyzer] COMPILE_TIME_ERROR.NOT_MAP_SPREAD |
| // [cfe] Unexpected type 'void' of a map spread entry. Expected 'dynamic' or a Map. |
| Map m7 = {...?x7}; |
| // ^^ |
| // [analyzer] COMPILE_TIME_ERROR.NOT_MAP_SPREAD |
| // [cfe] Unexpected type 'Future<dynamic>?' of a map spread entry. Expected 'dynamic' or a Map. |
| Map m8 = {...?x8}; |
| // ^^ |
| // [analyzer] COMPILE_TIME_ERROR.NOT_MAP_SPREAD |
| // [cfe] Unexpected type 'FutureOr<dynamic>' of a map spread entry. Expected 'dynamic' or a Map. |
| } |