Support keyNotExists

Author: herndlm

README.md

@@ -57,6 +57,8 @@ This extension specifies types of values passed to:
 * `Assert::implementsInterface`
 * `Assert::classExists`
 * `Assert::interfaceExists`
+* `Assert::keyExists`
+* `Assert::keyNotExists`
 * `Assert::validArrayKey`
 * `Assert::count`
 * `Assert::minCount`

src/Type/WebMozartAssert/AssertTypeSpecifyingExtension.php

@@ -344,6 +344,14 @@ private static function getExpressionResolvers(): array
 						[$key, $array]
 					);
 				},
+				'keyNotExists' => function (Scope $scope, Arg $array, Arg $key): \PhpParser\Node\Expr {
+					return new \PhpParser\Node\Expr\BooleanNot(
+						new \PhpParser\Node\Expr\FuncCall(
+							new \PhpParser\Node\Name('array_key_exists'),
+							[$key, $array]
+						)
+					);
+				},
 				'validArrayKey' => function (Scope $scope, Arg $value): \PhpParser\Node\Expr {
 					return new \PhpParser\Node\Expr\BinaryOp\BooleanOr(
 						new \PhpParser\Node\Expr\FuncCall(

tests/Type/WebMozartAssert/data/array.php

@@ -6,6 +6,16 @@
 
 class ArrayTest
 {
+
+	/**
+	 * @param array{foo?: string, bar?: string} $a
+	 */
+	public function keyNotExists(array $a): void
+	{
+		Assert::keyNotExists($a, 'bar');
+		\PHPStan\Testing\assertType('array{foo?: string}', $a);
+	}
+
 	/**
 	 * @param mixed $a
 	 */
@@ -17,4 +27,5 @@ public function validArrayKey($a, bool $b): void
 		Assert::validArrayKey($b);
 		\PHPStan\Testing\assertType('*NEVER*', $b);
 	}
+
 }