Add support for notFalse()

Author: simPod

README.md

@@ -18,10 +18,10 @@ use Webmozart\Assert;
 
 function demo(?int $a) {
 	// ...
-  
+
 	Assert::integer($a);
 	// phpstan is now aware that $a can no longer be `null` at this point
-  
+
 	return ($a === 10);
 }
 ```
@@ -47,6 +47,7 @@ This extension specifies types of values passed to:
 * `Assert::subclassOf`
 * `Assert::true`
 * `Assert::false`
+* `Assert::notFalse`
 * `Assert::null`
 * `Assert::notNull`
 * `Assert::same`

src/Type/WebMozartAssert/AssertTypeSpecifyingExtension.php

@@ -338,6 +338,12 @@ private static function getExpressionResolvers(): array
 						new \PhpParser\Node\Expr\ConstFetch(new \PhpParser\Node\Name('null'))
 					);
 				},
+				'notFalse' => static function (Scope $scope, Arg $expr): \PhpParser\Node\Expr {
+					return new \PhpParser\Node\Expr\BinaryOp\NotIdentical(
+						$expr->value,
+						new \PhpParser\Node\Expr\ConstFetch(new \PhpParser\Node\Name('false'))
+					);
+				},
 				'notNull' => function (Scope $scope, Arg $expr): \PhpParser\Node\Expr {
 					return new \PhpParser\Node\Expr\BinaryOp\NotIdentical(
 						$expr->value,

tests/Type/WebMozartAssert/AssertTypeSpecifyingExtensionTest.php

@@ -160,6 +160,10 @@ public function testExtension(): void
 				'Variable $ae is: PHPStan\Type\WebMozartAssert\Baz',
 				122,
 			],
+			[
+				'Variable $af is: int',
+				126,
+			],
 		]);
 	}
 

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)
+	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)
 	{
 		$a;
 
@@ -120,6 +120,10 @@ public function doFoo($a, $b, array $c, iterable $d, $e, $f, $g, $h, $i, $j, $k,
 
         Assert::implementsInterface($ae, Baz::class);
         $ae;
+
+        /** @var int|false $af */
+        Assert::notFalse($af);
+        $af;
     }
 
 }