fixed unboxing from null for arrays

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];
+}`)
+}

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}