Remove redundant array structure checks in ArrayHandler

ConstantArrayType::isCallable() already validates that the array has
exactly 2 elements with keys 0 and 1, so the explicit count and key
checks are unnecessary when isCallable()->maybe() is used as a guard.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Author: phpstan-bot

src/Analyser/ExprHandler/ArrayHandler.php

@@ -23,7 +23,6 @@
 use PHPStan\Type\Type;
 use PHPStan\Type\TypeCombinator;
 use function array_merge;
-use function count;
 
 /**
  * @implements ExprHandler<Array_>
@@ -48,10 +47,8 @@ public function resolveType(MutatingScope $scope, Expr $expr): Type
 		$type = $this->initializerExprTypeResolver->getArrayType($expr, static fn (Expr $expr): Type => $scope->getType($expr));
 
 		if (
-			count($expr->items) === 2
-			&& $expr->items[0]->key === null
-			&& $expr->items[1]->key === null
-			&& $type->isCallable()->maybe()
+			$type->isCallable()->maybe()
+			&& isset($expr->items[0], $expr->items[1])
 		) {
 			$methodExistsCall = new FuncCall(
 				new FullyQualified('method_exists'),