• PHPStan
• Mockery

This extension provides the following features:

• Interprets Foo|\Mockery\MockInterface in phpDoc so that it results in an intersection type instead of a union type.
• Mockery::mock() and Mockery::spy() return an intersection type (see the detailed explanation of intersection types) so that the returned object can be used as both the mock object and the mocked class object.
• shouldReceive(), allows() and expects() methods can be called on the mock object and they work as expected.

To use this extension, require it in Composer:

composer require --dev phpstan/phpstan-mockery

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

includes:
    - vendor/phpstan/phpstan-mockery/extension.neon