ConstantArrayType - toPhpDocNode without keys if they are not necessary

Author: ondrejmirtes

src/Type/Constant/ConstantArrayType.php

@@ -1559,7 +1559,12 @@ public function makeOffsetRequired(Type $offsetType): self
 	public function toPhpDocNode(): TypeNode
 	{
 		$items = [];
+		$values = [];
+		$exportValuesOnly = true;
 		foreach ($this->keyTypes as $i => $keyType) {
+			if ($keyType->getValue() !== $i) {
+				$exportValuesOnly = false;
+			}
 			$keyPhpDocNode = $keyType->toPhpDocNode();
 			if (!$keyPhpDocNode instanceof ConstTypeNode) {
 				continue;
@@ -1574,14 +1579,24 @@ public function toPhpDocNode(): TypeNode
 					$keyNode = new IdentifierTypeNode($value);
 				}
 			}
+
+			$isOptional = $this->isOptionalKey($i);
+			if ($isOptional) {
+				$exportValuesOnly = false;
+			}
 			$items[] = new ArrayShapeItemNode(
 				$keyNode,
-				$this->isOptionalKey($i),
+				$isOptional,
+				$valueType->toPhpDocNode(),
+			);
+			$values[] = new ArrayShapeItemNode(
+				null,
+				$isOptional,
 				$valueType->toPhpDocNode(),
 			);
 		}
 
-		return new ArrayShapeNode($items);
+		return new ArrayShapeNode($exportValuesOnly ? $values : $items);
 	}
 
 	public static function isValidIdentifier(string $value): bool

tests/PHPStan/Type/TypeToPhpDocNodeTest.php

@@ -254,6 +254,39 @@ public function dataToPhpDocNode(): iterable
 			]),
 			'non-empty-list<mixed>',
 		];
+
+		yield [
+			new ConstantArrayType([
+				new ConstantIntegerType(0),
+				new ConstantIntegerType(1),
+			], [
+				new ConstantStringType('foo'),
+				new ConstantStringType('bar'),
+			]),
+			"array{'foo', 'bar'}",
+		];
+
+		yield [
+			new ConstantArrayType([
+				new ConstantIntegerType(0),
+				new ConstantIntegerType(2),
+			], [
+				new ConstantStringType('foo'),
+				new ConstantStringType('bar'),
+			]),
+			"array{0: 'foo', 2: 'bar'}",
+		];
+
+		yield [
+			new ConstantArrayType([
+				new ConstantIntegerType(0),
+				new ConstantIntegerType(1),
+			], [
+				new ConstantStringType('foo'),
+				new ConstantStringType('bar'),
+			], [2], [1]),
+			"array{0: 'foo', 1?: 'bar'}",
+		];
 	}
 
 	/**