Fix Array_ expr type resolving with unpacked constant array items

Author: herndlm

src/Reflection/InitializerExprTypeResolver.php

@@ -452,9 +452,9 @@ public function getArrayType(Expr\Array_ $expr, callable $getTypeCallback): Type
 
 					foreach ($valueType->getValueTypes() as $i => $innerValueType) {
 						if ($hasStringKey && $this->phpVersion->supportsArrayUnpackingWithStringKeys()) {
-							$arrayBuilder->setOffsetValueType($valueType->getKeyTypes()[$i], $innerValueType);
+							$arrayBuilder->setOffsetValueType($valueType->getKeyTypes()[$i], $innerValueType, $valueType->isOptionalKey($i));
 						} else {
-							$arrayBuilder->setOffsetValueType(null, $innerValueType);
+							$arrayBuilder->setOffsetValueType(null, $innerValueType, $valueType->isOptionalKey($i));
 						}
 					}
 				} else {

tests/PHPStan/Analyser/NodeScopeResolverTest.php

@@ -970,6 +970,7 @@ public function dataFileAsserts(): iterable
 		yield from $this->gatherAssertTypes(__DIR__ . '/../Rules/Arrays/data/bug-7469.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/../Rules/Variables/data/bug-3391.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-6901.php');
+		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-7776.php');
 	}
 
 	/**

tests/PHPStan/Analyser/data/bug-7776.php

@@ -0,0 +1,17 @@
+<?php declare(strict_types = 1);
+
+namespace Bug7776;
+
+use function PHPStan\Testing\assertType;
+
+/**
+ * @param array{page?: int, search?: string} $settings
+ */
+function test(array $settings = []): bool {
+	$copy = [...$settings];
+	assertType('array{page?: int, search?: string}', $copy);
+	assertType('array{page?: int, search?: string}', $settings);
+	return isset($copy['search']);
+}
+
+test();