From 7153438640569b9ed7943dd16f910eaddfb19950 Mon Sep 17 00:00:00 2001
From: Richardas Kuchinskas <r.kuchinskas@vk.team>
Date: Wed, 13 Mar 2024 18:09:09 +0300
Subject: [PATCH] fixed unboxing from null for arrays

---
 src/tests/regression/issue1214_test.go | 17 +++++++++++++++++
 src/types/map.go                       |  5 ++++-
 2 files changed, 21 insertions(+), 1 deletion(-)
 create mode 100644 src/tests/regression/issue1214_test.go

diff --git a/src/tests/regression/issue1214_test.go b/src/tests/regression/issue1214_test.go
new file mode 100644
index 00000000..4512c408
--- /dev/null
+++ b/src/tests/regression/issue1214_test.go
@@ -0,0 +1,17 @@
+package regression_test
+
+import (
+	"testing"
+
+	"github.com/VKCOM/noverify/src/linttest"
+)
+
+func TestIssue1214(t *testing.T) {
+	linttest.SimpleNegativeTest(t, `<?php
+declare(strict_types = 1);
+
+function test() {
+ $special_items = null;
+ $_ = [...$special_items];
+}`)
+}
diff --git a/src/types/map.go b/src/types/map.go
index efe2ee10..17a29bcd 100644
--- a/src/types/map.go
+++ b/src/types/map.go
@@ -410,6 +410,10 @@ func (m Map) LazyArrayElemType() Map {
 
 	mm := make(map[string]struct{}, m.Len())
 	for typ := range m.m {
+		if typ == "null" {
+			break
+		}
+
 		if typ == "empty_array" {
 			// If the type contains only empty_array,
 			// then we resolve its element as mixed.
@@ -420,7 +424,6 @@ func (m Map) LazyArrayElemType() Map {
 			// is a more precise type.
 			continue
 		}
-
 		mm[UnwrapArrayOf(typ)] = struct{}{}
 	}
 	return Map{m: mm, flags: m.flags}