add support for isArrayAccessible

README.md

@@ -59,6 +59,7 @@ This extension specifies types of values passed to:
 * `Assert::oneOf`
 * `Assert::methodExists`
 * `Assert::propertyExists`
+* `Assert::isArrayAccessible`
 * `nullOr*` and `all*` variants of the above methods
 
 

src/Type/WebMozartAssert/AssertTypeSpecifyingExtension.php

@@ -418,6 +418,18 @@ private static function getExpressionResolvers(): array
 						[$object, $property]
 					);
 				},
+				'isArrayAccessible' => function (Scope $scope, Arg $expr): \PhpParser\Node\Expr {
+					return new \PhpParser\Node\Expr\BinaryOp\BooleanOr(
+						new \PhpParser\Node\Expr\FuncCall(
+							new \PhpParser\Node\Name('is_array'),
+							[$expr]
+						),
+						new \PhpParser\Node\Expr\Instanceof_(
+							$expr->value,
+							new \PhpParser\Node\Name(\ArrayAccess::class)
+						)
+					);
+				},
 			];
 		}
 

tests/Type/WebMozartAssert/data/data.php

@@ -7,7 +7,7 @@
 class Foo
 {
 
-	public function doFoo($a, $b, array $c, iterable $d, $e, $f, $g, $h, $i, $j, $k, $l, $m, $n, $o, $p, $r, $s, ?int $t, ?int $u, $x, $aa, array $ab, $ac, $ad, $ae, $af, $ag, array $ah, $ai, $al, $am, $an, $ao, $ap)
+	public function doFoo($a, $b, array $c, iterable $d, $e, $f, $g, $h, $i, $j, $k, $l, $m, $n, $o, $p, $r, $s, ?int $t, ?int $u, $x, $aa, array $ab, $ac, $ad, $ae, $af, $ag, array $ah, $ai, $al, $am, $an, $ao, $ap, $aq)
 	{
 		\PHPStan\Testing\assertType('mixed', $a);
 
@@ -168,6 +168,9 @@ public function doFoo($a, $b, array $c, iterable $d, $e, $f, $g, $h, $i, $j, $k,
 		/** @var object $ap */
 		Assert::propertyExists($ap, 'foo');
 		\PHPStan\Testing\assertType('object&hasProperty(foo)', $ap);
+
+		Assert::isArrayAccessible($aq);
+		\PHPStan\Testing\assertType('array|ArrayAccess', $aq);
     }
 
 }