Add allKeyExists tests

Author: herndlm

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');
 	}

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);
+	}
+
+}