check integrish values

Author: mavimo

src/Type/WebMozartAssert/AssertTypeSpecifyingExtension.php

@@ -186,6 +186,24 @@ private static function getExpressionResolvers(): array
 						[$value]
 					);
 				},
+				'integrish' => function (Scope $scope, Arg $value): ?\PhpParser\Node\Expr {
+					return new \PhpParser\Node\Expr\BinaryOp\BooleanOr(
+						new \PhpParser\Node\Expr\BinaryOp\BooleanAnd(
+							new \PhpParser\Node\Expr\FuncCall(
+								new \PhpParser\Node\Name('is_string'),
+								[$value]
+							),
+							new \PhpParser\Node\Expr\FuncCall(
+								new \PhpParser\Node\Name('is_numeric'),
+								[$value]
+							)
+						),
+						new \PhpParser\Node\Expr\FuncCall(
+							new \PhpParser\Node\Name('is_int'),
+							[$value]
+						)
+					);
+				},
 				'numeric' => function (Scope $scope, Arg $value): ?\PhpParser\Node\Expr {
 					return new \PhpParser\Node\Expr\FuncCall(
 						new \PhpParser\Node\Name('is_numeric'),

tests/Type/WebMozartAssert/AssertTypeSpecifyingExtensionTest.php

@@ -145,6 +145,10 @@ public function testExtension(): void
 				'Variable $ab is: array<PHPStan\Type\WebMozartAssert\Foo>',
 				113,
 			],
+			[
+				'Variable $ac is: mixed',
+				116,
+			],
 		]);
 	}
 

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)
+	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)
 	{
 		$a;
 
@@ -111,6 +111,9 @@ public function doFoo($a, $b, array $c, iterable $d, $e, $f, $g, $h, $i, $j, $k,
 
 		Assert::allSubclassOf($ab, self::class);
 		$ab;
+
+		Assert::integrish($ac, self::class);
+		$ac;
 	}
 
 }