Add support for keyExists and keyNotExists assertions

Author: kayneth

src/Type/BeberleiAssert/AssertHelper.php

@@ -375,6 +375,20 @@ private static function getExpressionResolvers(): array
 						[$value]
 					);
 				},
+				'keyExists' => static function (Scope $scope, Arg $array, Arg $key): Expr {
+					return new FuncCall(
+						new Name('array_key_exists'),
+						[$key, $array]
+					);
+				},
+				'keyNotExists' => static function (Scope $scope, Arg $array, Arg $key): Expr {
+					return new BooleanNot(
+						new FuncCall(
+							new Name('array_key_exists'),
+							[$key, $array]
+						)
+					);
+				},
 			];
 		}
 

tests/Type/BeberleiAssert/data/data.php

@@ -111,6 +111,14 @@ public function doFoo($a, $b, array $c, iterable $d, $e, $f, $g, $h, $i, $j, $k,
 
 		Assertion::isJsonString($ac);
 		\PHPStan\Testing\assertType('string', $ac);
+
+		/** @var array{a?: string, b?: int} $ad */
+		$ad = doFoo();
+		Assertion::keyExists($ad, 'a');
+		\PHPStan\Testing\assertType("array{a: string, b?: int}", $ad);
+
+		Assertion::keyNotExists($ad, 'b');
+		\PHPStan\Testing\assertType("array{a: string}", $ad);
 	}
 
 	public function doBar(?int $a, $b, $c, array $d, iterable $e, $g)