Fix 7.4 test

ondrejmirtes · ondrejmirtes · commit 770b08c052d8 · 2025-11-05T14:38:25.000+01:00
diff --git a/src/Analyser/MutatingScope.php b/src/Analyser/MutatingScope.php
@@ -3885,8 +3885,14 @@ public function getFunctionType($type, bool $isNullable, bool $isVariadic): Type
 					false,
 				));
 			}
+
+			return TypeCombinator::intersect(new ArrayType(new IntegerType(), $this->getFunctionType(
+				$type,
+				$isNullable,
+				false,
+			)), new AccessoryArrayListType());
 		}
-		return $this->initializerExprTypeResolver->getFunctionType($type, $isNullable, $isVariadic, InitializerExprContext::fromScope($this));
+		return $this->initializerExprTypeResolver->getFunctionType($type, $isNullable, false, InitializerExprContext::fromScope($this));
 	}
 
 	private static function intersectButNotNever(Type $nativeType, Type $inferredType): Type

Original file line number	Diff line number	Diff line change
`@@ -3885,8 +3885,14 @@ public function getFunctionType($type, bool $isNullable, bool $isVariadic): Type`
`3885`	`3885`	`false,`
`3886`	`3886`	`));`
`3887`	`3887`	`}`
	`3888`	`+`
	`3889`	`+ return TypeCombinator::intersect(new ArrayType(new IntegerType(), $this->getFunctionType(`
	`3890`	`+ $type,`
	`3891`	`+ $isNullable,`
	`3892`	`+ false,`
	`3893`	`+ )), new AccessoryArrayListType());`
`3888`	`3894`	`}`
`3889`		`- return $this->initializerExprTypeResolver->getFunctionType($type, $isNullable, $isVariadic, InitializerExprContext::fromScope($this));`
	`3895`	`+ return $this->initializerExprTypeResolver->getFunctionType($type, $isNullable, false, InitializerExprContext::fromScope($this));`
`3890`	`3896`	`}`
`3891`	`3897`
`3892`	`3898`	`private static function intersectButNotNever(Type $nativeType, Type $inferredType): Type`