PhpSpec extension for PHPStan

What does it do?

Currently compatible with original specs from PhpSpec itself
Check if custom matcher exist in given spec class
- support fot getMatchers method
Provides correct return type for Collaborator in spec methods
- will* methods
- support for array return type (check if array item has correct type)
Allow to user Propehcy as Collaborator arguments
- Argument::cetera(), Argument::any()
Provides correct attributes for Collaborator
Provides correct methods for ObjectBehavior:
- should* methods
- during* methods
- beConstructedWith, beConstructedThrough, beAnInstanceOf
- search original spec class (subject) and check if methods exists
Provides correct attributes for ObjectBehavior:
- public attributes
- static properties (with $this->CONSTANT_NAME)
Provides correct class for getWrappedObject method
Support ObjectState Matcher and check if appropriate methods exists

composer require --dev proget-hq/phpstan-phpspec

Put this into your phpstan.neon config:

includes:
	- vendor/proget-hq/phpstan-phpspec/extension.neon
parameters:
    specDir: 'spec/'