Add allKeyExists tests

phpstan · Nov 29, 2021 · 6371a58 · 6371a58
1 parent a00dad3
commit 6371a58
Show file tree

Hide file tree

Showing 2 changed files with 28 additions and 0 deletions.
diff --git a/tests/Type/WebMozartAssert/AssertTypeSpecifyingExtensionTest.php b/tests/Type/WebMozartAssert/AssertTypeSpecifyingExtensionTest.php
@@ -13,6 +13,7 @@ class AssertTypeSpecifyingExtensionTest extends TypeInferenceTestCase
 	public function dataFileAsserts(): iterable
 	{
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/array.php');
+		yield from $this->gatherAssertTypes(__DIR__ . '/data/collection.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/data.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/string.php');
 	}

diff --git a/tests/Type/WebMozartAssert/data/collection.php b/tests/Type/WebMozartAssert/data/collection.php
@@ -0,0 +1,27 @@
+<?php declare(strict_types = 1);
+
+namespace PHPStan\Type\WebMozartAssert;
+
+use Webmozart\Assert\Assert;
+
+class Foo
+{
+
+	/**
+	 * @param array<array{id?: int}> $a
+	 * @param array<int, array<string, mixed>> $b
+	 *
+	 */
+	public function allKeyExists(array $a, array $b, array $c): void
+	{
+		Assert::allKeyExists($a, 'id');
+		\PHPStan\Testing\assertType('array<array{id: int}>', $a);
+
+		Assert::allKeyExists($b, 'id');
+		\PHPStan\Testing\assertType('array<int, array<string, mixed>&hasOffset(\'id\')>', $b);
+
+		Assert::allKeyExists($c, 'id');
+		\PHPStan\Testing\assertType('array<array&hasOffset(\'id\')>', $c);
+	}
+
+}