Support propertyExists

Author: Emil Masiakowski

src/Type/BeberleiAssert/AssertHelper.php

@@ -393,6 +393,10 @@ private static function getExpressionResolvers(): array
 						[$key, $array],
 					),
 				),
+				'propertyExists' => static fn (Scope $scope, Arg $object, Arg $property): Expr => new FuncCall(
+					new Name('property_exists'),
+					[$object, $property],
+				),
 				'notBlank' => static fn (Scope $scope, Arg $value): Expr => new BooleanAnd(
 					new BooleanAnd(
 						new NotIdentical(

tests/Type/BeberleiAssert/data/data.php

@@ -41,6 +41,9 @@ public function doFoo($a, $b, array $c, iterable $d, $e, $f, $g, $h, $i, $j, $k,
 		Assertion::objectOrClass($j);
 		\PHPStan\Testing\assertType('object', $j);
 
+		Assertion::propertyExists($j, 'foo');
+		\PHPStan\Testing\assertType('object&hasProperty(foo)', $j);
+
 		Assertion::isResource($k);
 		\PHPStan\Testing\assertType('resource', $k);