• PHPStan
• beberlei/assert

The main scope of this extension is to help phpstan to detect the type of object after the Assert\Assertion validation.

<?php declare(strict_types = 1);
use Assert\Assertion;

function demo(?int $a) {
	// ...

	Assertion::integer($a);
	// phpstan is now aware that $a can no longer be `null` at this point

	return ($a === 10);
}

This extension specifies types of values passed to:

• Assertion::integer
• Assertion::integerish
• Assertion::string
• Assertion::float
• Assertion::numeric
• Assertion::boolean
• Assertion::scalar
• Assertion::objectOrClass
• Assertion::isResource
• Assertion::isCallable
• Assertion::isArray
• Assertion::isInstanceOf
• Assertion::notIsInstanceOf
• Assertion::subclassOf
• Assertion::true
• Assertion::false
• Assertion::null
• Assertion::notNull
• Assertion::same
• Assertion::notSame
• Assertion::isJsonString
• nullOr* and all* variants of the above methods

Assert::that, Assert::thatNullOr and Assert::thatAll chaining methods are also supported.

Assert\that, Assert\thatNullOr and Assert\thatAll functions are supported too.

To use this extension, require it in Composer:

composer require --dev phpstan/phpstan-beberlei-assert

If you also install phpstan/extension-installer then you're all set!

includes:
    - vendor/phpstan/phpstan-beberlei-assert/extension.neon