Update ConstantArrayType.php

staabm · staabm · commit a2646e69b44a · 2025-12-29T17:48:47.000+01:00
diff --git a/src/Type/Constant/ConstantArrayType.php b/src/Type/Constant/ConstantArrayType.php
@@ -171,7 +171,7 @@ public function getIterableValueType(): Type
 
 		$count = count($this->valueTypes);
 		if ($count === 0) {
-			return new NeverType(true);
+			return $this->iterableValueType = new NeverType(true);
 		}
 
 		if ($count > 16) {
@@ -184,11 +184,11 @@ public function getIterableValueType(): Type
 			}
 
 			if ($onlyClosureValues) {
-				return new CallableType();
+				return $this->iterableValueType = new CallableType();
 			}
 		}
 
-		return TypeCombinator::union(...$this->valueTypes);
+		return $this->iterableValueType = TypeCombinator::union(...$this->valueTypes);
 	}
 
 	public function getKeyType(): Type

Original file line number	Diff line number	Diff line change
`@@ -171,7 +171,7 @@ public function getIterableValueType(): Type`
`171`	`171`
`172`	`172`	`$count = count($this->valueTypes);`
`173`	`173`	`if ($count === 0) {`
`174`		`- return new NeverType(true);`
	`174`	`+ return $this->iterableValueType = new NeverType(true);`
`175`	`175`	`}`
`176`	`176`
`177`	`177`	`if ($count > 16) {`
`@@ -184,11 +184,11 @@ public function getIterableValueType(): Type`
`184`	`184`	`}`
`185`	`185`
`186`	`186`	`if ($onlyClosureValues) {`
`187`		`- return new CallableType();`
	`187`	`+ return $this->iterableValueType = new CallableType();`
`188`	`188`	`}`
`189`	`189`	`}`
`190`	`190`
`191`		`- return TypeCombinator::union(...$this->valueTypes);`
	`191`	`+ return $this->iterableValueType = TypeCombinator::union(...$this->valueTypes);`
`192`	`192`	`}`
`193`	`193`
`194`	`194`	`public function getKeyType(): Type`