Improve isList

Author: herndlm

src/Type/WebMozartAssert/AssertTypeSpecifyingExtension.php

@@ -307,9 +307,18 @@ private static function getExpressionResolvers(): array
 					);
 				},
 				'isList' => static function (Scope $scope, Arg $expr): Expr {
-					return new FuncCall(
-						new Name('is_array'),
-						[$expr]
+					return new BooleanAnd(
+						new FuncCall(
+							new Name('is_array'),
+							[$expr]
+						),
+						new Identical(
+							$expr->value,
+							new FuncCall(
+								new Name('array_values'),
+								[$expr]
+							)
+						)
 					);
 				},
 				'isCountable' => static function (Scope $scope, Arg $expr): Expr {

tests/Type/WebMozartAssert/data/array.php

@@ -100,10 +100,10 @@ public function countBetween(array $a, array $b, array $c, array $d): void
 	public function isList($a, $b): void
 	{
 		Assert::isList($a);
-		\PHPStan\Testing\assertType('array', $a);
+		\PHPStan\Testing\assertType('array<int, mixed>', $a);
 
 		Assert::nullOrIsList($b);
-		\PHPStan\Testing\assertType('array|null', $b);
+		\PHPStan\Testing\assertType('array<int, mixed>|null', $b);
 	}
 
 }