/*
 * 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 causes compile error
 * @author iarkh@unipro.ru
 */
// SharedOptions=--enable-experiment=constant-update-2018

Null n = null;

main() {
  var res1 = [...n];           //# 01: compile-time error
  Map res2 = {...n};           //# 02: compile-time error
  Set res3 = {...n};           //# 03: compile-time error

  var res4 = <int>[...n];      //# 04: compile-time error
  var res5 = <int>{...n};      //# 05: compile-time error
  var res6 = <int, int>{...n}; //# 06: compile-time error
}