// 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 non-null-aware spread element has static type Null.
/// @description Checks that compile error is thrown if spread element is
/// statically [Null].
/// @description Check that trying to use [null] element as a non-null-aware
/// spread element in constant causes compile error
/// @author iarkh@unipro.ru


main() {
  const res1 = [...null];
//                 ^^^^
// [analyzer] unspecified
// [cfe] unspecified
  const Map res2 = {...null};
//                     ^^^^
// [analyzer] unspecified
// [cfe] unspecified
  const Set res3 = {...null};
//                     ^^^^
// [analyzer] unspecified
// [cfe] unspecified

  const res4 = <int>[...null];
//                      ^^^^
// [analyzer] unspecified
// [cfe] unspecified
  const res5 = <int>{...null};
//                      ^^^^
// [analyzer] unspecified
// [cfe] unspecified
  const res6 = <int, int>{...null};
//                           ^^^^
// [analyzer] unspecified
// [cfe] unspecified
}