Broaden unsealed value in ConstantArrayType::generalizeValues()

`generalizeValues()` walked the explicit `valueTypes` only — for an
unsealed source the unsealed value type (e.g. `'foo'`) survived
unchanged, leaving the result inconsistent: explicit values
generalized to `int`/`string`/etc. but the unsealed slot still
carried a constant.

Generalize the unsealed value too, mirroring the explicit loop.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

Author: ondrejmirtes

src/Type/Constant/ConstantArrayType.php

@@ -2305,7 +2305,13 @@ public function generalizeValues(): self
 			$valueTypes[] = $valueType->generalize(GeneralizePrecision::lessSpecific());
 		}
 
-		return $this->recreate($this->keyTypes, $valueTypes, $this->nextAutoIndexes, $this->optionalKeys, $this->isList, $this->unsealed);
+		$unsealed = $this->unsealed;
+		if ($unsealed !== null) {
+			[$unsealedKey, $unsealedValue] = $unsealed;
+			$unsealed = [$unsealedKey, $unsealedValue->generalize(GeneralizePrecision::lessSpecific())];
+		}
+
+		return $this->recreate($this->keyTypes, $valueTypes, $this->nextAutoIndexes, $this->optionalKeys, $this->isList, $unsealed);
 	}
 
 	private function degradeToGeneralArray(): Type

tests/PHPStan/Type/Constant/ConstantArrayTypeTest.php

@@ -1999,6 +1999,20 @@ public function testGeneralize(ConstantArrayType $type, GeneralizePrecision $pre
 		);
 	}
 
+	public function testGeneralizeValuesAlsoBroadensUnsealedValue(): void
+	{
+		$type = new ConstantArrayType(
+			[new ConstantStringType('a')],
+			[new ConstantIntegerType(1)],
+			unsealed: [new IntegerType(), new ConstantStringType('foo')],
+		);
+
+		$this->assertSame(
+			'array{a: int, ...<int, string>}',
+			$type->generalizeValues()->describe(VerbosityLevel::precise()),
+		);
+	}
+
 	public function testTraverseSimultaneouslyVisitsUnsealedValue(): void
 	{
 		$left = new ConstantArrayType(