PHPStan is including PRADO to verify against

[belisoful]

A few days ago PHPStan had a minor bug that prevented PRADO from verifying unit tests. It was an PHPStan Internal Error, pretty serious. As it stated, the issue was report to their GitHub Issues.

As a result, they found the issue and fixed it quickly.
This was the code that made PHPStan error out: https://phpstan.org/r/f1343dcc-a130-496d-8c88-300c650847bb

and as a result, PRADO is added to the list of projects to verify PHPStan against.
Via ondrejmirtes -- phpstan/phpstan#14548 (comment)

[ganiuszka]

Congratulations! 👍

Great that you found this and reported it.

[belisoful]

Ondrej Mitres is a lead dev on PHPStan. "right from the horse's mouth."