Support isNotA

README.md

@@ -42,13 +42,15 @@ This extension specifies types of values passed to:
 * `Assert::resource`
 * `Assert::isCallable`
 * `Assert::isArray`
+* `Assert::isTraversable` (deprecated, use `isIterable` or `isInstanceOf` instead)
 * `Assert::isIterable`
 * `Assert::isCountable`
 * `Assert::isInstanceOf`
 * `Assert::isInstanceOfAny`
 * `Assert::notInstanceOf`
 * `Assert::isAOf`
 * `Assert::isAnyOf`
+* `Assert::isNotA`
 * `Assert::subclassOf`
 * `Assert::true`
 * `Assert::false`

src/Type/WebMozartAssert/AssertTypeSpecifyingExtension.php

@@ -304,6 +304,9 @@ private static function getExpressionResolvers(): array
 						[$value]
 					);
 				},
+				'isTraversable' => static function (Scope $scope, Arg $value): Expr {
+					return self::$resolvers['isIterable']($scope, $value);
+				},
 				'isIterable' => static function (Scope $scope, Arg $expr): Expr {
 					return new BooleanOr(
 						new FuncCall(
@@ -414,6 +417,9 @@ private static function getExpressionResolvers(): array
 				'isAnyOf' => static function (Scope $scope, Arg $value, Arg $classes): ?Expr {
 					return self::buildAnyOfExpr($scope, $value, $classes, self::$resolvers['isAOf']);
 				},
+				'isNotA' => static function (Scope $scope, Arg $value, Arg $class): Expr {
+					return new BooleanNot(self::$resolvers['isAOf']($scope, $value, $class));
+				},
 				'implementsInterface' => static function (Scope $scope, Arg $expr, Arg $class): ?Expr {
 					$classType = $scope->getType($class->value);
 					if (!$classType instanceof ConstantStringType) {

tests/Type/WebMozartAssert/data/type.php

@@ -142,6 +142,15 @@ public function isArray($a, $b): void
 		\PHPStan\Testing\assertType('array|null', $b);
 	}
 
+	public function isTraversable($a, $b): void
+	{
+		Assert::isTraversable($a);
+		\PHPStan\Testing\assertType('array|Traversable', $a);
+
+		Assert::nullOrIsTraversable($b);
+		\PHPStan\Testing\assertType('array|Traversable|null', $b);
+	}
+
 	public function isIterable($a, $b): void
 	{
 		Assert::isIterable($a);
@@ -249,6 +258,23 @@ public function isAnyOf($a, $b): void
 		\PHPStan\Testing\assertType('\'PHPStan\\\Type\\\WebMozartAssert\\\Bar\'', Bar::class);
 	}
 
+	/**
+	 * @param DateTimeImmutable|stdClass $a
+	 * @param class-string<DateTimeImmutable>|class-string<stdClass> $b
+	 * @param DateTimeImmutable|stdClass|null $c
+	 */
+	public function isNotA(object $a, string $b, ?object $c): void
+	{
+		Assert::isNotA($a, stdClass::class);
+		\PHPStan\Testing\assertType('DateTimeImmutable', $a);
+
+		Assert::isNotA($b, stdClass::class);
+		\PHPStan\Testing\assertType('class-string<DateTimeImmutable>', $b); // https://github.com/phpstan/phpstan/issues/6704
+
+		Assert::nullOrIsNotA($c, stdClass::class);
+		\PHPStan\Testing\assertType('DateTimeImmutable|null', $c);
+	}
+
 	public function isArrayAccessible($a, $b): void
 	{
 		Assert::isArrayAccessible($a);