Support list type

Author: herndlm

composer.json

@@ -7,7 +7,7 @@
 	],
 	"require": {
 		"php": "^7.2 || ^8.0",
-		"phpstan/phpstan": "^1.8.0"
+		"phpstan/phpstan": "^1.9.0"
 	},
 	"require-dev": {
 		"nikic/php-parser": "^4.13.0",

src/Type/WebMozartAssert/AssertTypeSpecifyingExtension.php

@@ -351,11 +351,11 @@ private static function getExpressionResolvers(): array
 							[$expr]
 						),
 						new Identical(
+							$expr->value,
 							new FuncCall(
-								new Name('array_filter'),
-								[$expr, new Arg(new String_('is_int')), new Arg(new ConstFetch(new Name('ARRAY_FILTER_USE_KEY')))]
-							),
-							$expr->value
+								new Name('array_values'),
+								[$expr]
+							)
 						)
 					);
 				},

tests/Type/WebMozartAssert/AssertTypeSpecifyingExtensionTest.php

@@ -35,7 +35,10 @@ public function testFileAsserts(
 
 	public static function getAdditionalConfigFiles(): array
 	{
-		return [__DIR__ . '/../../../extension.neon'];
+		return [
+			__DIR__ . '/../../../extension.neon',
+			'phar://' . __DIR__ . '/../../../vendor/phpstan/phpstan/phpstan.phar/conf/bleedingEdge.neon',
+		];
 	}
 
 }

tests/Type/WebMozartAssert/data/array.php

@@ -101,19 +101,19 @@ public function countBetween(array $a, array $b, array $c, array $d): void
 	public function isList($a, $b): void
 	{
 		Assert::isList($a);
-		assertType('array<int, mixed>', $a);
+		assertType('list<mixed>', $a);
 
 		Assert::nullOrIsList($b);
-		assertType('array<int, mixed>|null', $b);
+		assertType('list<mixed>|null', $b);
 	}
 
 	public function isNonEmptyList($a, $b): void
 	{
 		Assert::isNonEmptyList($a);
-		assertType('non-empty-array<int, mixed>', $a);
+		assertType('non-empty-list<mixed>', $a);
 
 		Assert::nullOrIsNonEmptyList($b);
-		assertType('non-empty-array<int, mixed>|null', $b);
+		assertType('non-empty-list<mixed>|null', $b);
 	}
 
 	public function isMap($a, $b): void