Resolve Assert::minLength($s, 1+) to non-empty-string

Author: simPod

src/Type/WebMozartAssert/AssertTypeSpecifyingExtension.php

@@ -386,6 +386,21 @@ private static function getExpressionResolvers(): array
 						$number->value
 					);
 				},
+				'minLength' => function (Scope $scope, Arg $value, Arg $length): \PhpParser\Node\Expr {
+					return new BooleanAnd(
+						new \PhpParser\Node\Expr\FuncCall(
+							new \PhpParser\Node\Name('is_string'),
+							[$value]
+						),
+						new \PhpParser\Node\Expr\BinaryOp\GreaterOrEqual(
+							new \PhpParser\Node\Expr\FuncCall(
+								new \PhpParser\Node\Name('strlen'),
+								[$value]
+							),
+							$length->value
+						)
+					);
+				},
 				'inArray' => function (Scope $scope, Arg $needle, Arg $array): \PhpParser\Node\Expr {
 					return new \PhpParser\Node\Expr\FuncCall(
 						new \PhpParser\Node\Name('in_array'),

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, $aq)
+	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, $ar)
 	{
 		\PHPStan\Testing\assertType('mixed', $a);
 
@@ -171,6 +171,13 @@ public function doFoo($a, $b, array $c, iterable $d, $e, $f, $g, $h, $i, $j, $k,
 
 		Assert::isArrayAccessible($aq);
 		\PHPStan\Testing\assertType('array|ArrayAccess', $aq);
+
+		Assert::minLength($ar, 0);
+		\PHPStan\Testing\assertType('string', $ar);
+
+		Assert::minLength($ar, 1);
+		\PHPStan\Testing\assertType('non-empty-string', $ar);
+
     }
 
 }