Add support for assertObjectHasProperty

Author: Wirone

src/Type/PHPUnit/Assert/AssertTypeSpecifyingExtensionHelper.php

@@ -276,6 +276,9 @@ private static function getExpressionResolvers(): array
 'ObjectHasAttribute' => staticfunction (Scope$scope, Arg$property, Arg$object): FuncCall {
 returnnewFuncCall(newName('property_exists'), [$object, $property]);
  },
+'ObjectHasProperty' => staticfunction (Scope$scope, Arg$property, Arg$object): FuncCall {
+returnnewFuncCall(newName('property_exists'), [$object, $property]);
+ },
 'Contains' => staticfunction (Scope$scope, Arg$needle, Arg$haystack): Expr {
 returnnewExpr\BinaryOp\BooleanOr(
 newExpr\Instanceof_($haystack->value, newName('Traversable')),

tests/Type/PHPUnit/AssertFunctionTypeSpecifyingExtensionTest.php

@@ -11,11 +11,15 @@ class AssertFunctionTypeSpecifyingExtensionTest extends TypeInferenceTestCase
 /** @return mixed[] */
 publicfunctiondataFileAsserts(): iterable
 	{
-if (!function_exists('PHPUnit\\Framework\\assertInstanceOf')) {
-return [];
+if (function_exists('PHPUnit\\Framework\\assertInstanceOf')) {
+yieldfrom$this->gatherAssertTypes(__DIR__ . '/data/assert-function.php');
  }
 
-yieldfrom$this->gatherAssertTypes(__DIR__ . '/data/assert-function.php');
+if (function_exists('PHPUnit\\Framework\\assertObjectHasProperty')) {
+yieldfrom$this->gatherAssertTypes(__DIR__ . '/data/assert-function-9.6.11.php');
+ }
+
+return [];
 	}
 
 /**

tests/Type/PHPUnit/data/assert-function-9.6.11.php

@@ -0,0 +1,17 @@
+<?php
+
+namespaceAssertFunction;
+
+usefunctionPHPStan\Testing\assertType;
+usefunctionPHPUnit\Framework\assertObjectHasProperty;
+
+class Foo
+{
+
+publicfunctionobjectHasProperty(object$a): void
+	{
+assertObjectHasProperty('property', $a);
+assertType("object&hasProperty(property)", $a);
+	}
+
+}