The main scope of this extension is to help PHPStan to detect the type of object after the Webmozart\Assert\Assert validation.
<?php declare(strict_types = 1);
use Webmozart\Assert\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);
}To use this extension, require it in Composer:
composer require --dev phpstan/phpstan-webmozart-assert
If you also install phpstan/extension-installer then you're all set!
Manual installation
If you don't want to use phpstan/extension-installer, include extension.neon in your project's PHPStan config:
includes:
- vendor/phpstan/phpstan-webmozart-assert/extension.neon
![renovate[bot]](https://avatars.githubusercontent.com/u/29139614?size=120)
![dependabot[bot]](https://avatars.githubusercontent.com/u/49699333?size=120)
