Allow empty array shape

phpstan · Jun 11, 2021 · d36852a · d36852a
1 parent 7acf7ca
commit d36852a
Show file tree

Hide file tree

Showing 4 changed files with 27 additions and 11 deletions.
diff --git a/composer.json b/composer.json
@@ -25,7 +25,7 @@
 		"ondram/ci-detector": "^3.4.0",
 		"ondrejmirtes/better-reflection": "4.3.58",
 		"phpstan/php-8-stubs": "^0.1.21",
-		"phpstan/phpdoc-parser": "^0.5.4",
+		"phpstan/phpdoc-parser": "^0.5.5",
 		"react/child-process": "^0.6.1",
 		"react/event-loop": "^1.1",
 		"react/http": "^1.1",

diff --git a/composer.lock b/composer.lock
diff --git a/tests/PHPStan/Analyser/NodeScopeResolverTest.php b/tests/PHPStan/Analyser/NodeScopeResolverTest.php
@@ -408,6 +408,7 @@ public function dataFileAsserts(): iterable
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-5000.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/number_format.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-5140.php');
+		yield from $this->gatherAssertTypes(__DIR__ . '/data/empty-array-shape.php');
 	}
 
 	/**

diff --git a/tests/PHPStan/Analyser/data/empty-array-shape.php b/tests/PHPStan/Analyser/data/empty-array-shape.php
@@ -0,0 +1,16 @@
+<?php
+
+namespace EmptyArrayShape;
+
+use function PHPStan\Testing\assertType;
+
+class Foo
+{
+
+	/** @param array{} $array */
+	public function doFoo(array $array): void
+	{
+		assertType('array()', $array);
+	}
+
+}