Reading phpstan/phpstan#134 and wanting to try PHPStan 0.9, I wanted to try to write the extension to make PHPStan and Prophecy work along.

I'm not an expert on PHPStan internals, so I started working on this copypasting from the MockBuilder classes, and I reached a point where the reveal() method is no longer an issue for PHPStan! 🎉

Now, I need to tackle the issues reported when defining the expectation on a mock, and that's a lot trickier!

Scenario:

$mock = $this->prophesize(SUTClass::class);
$mock->methodA(...)
    ->should...()
    ->will...();

Basically you can call on the mock any method of it's base class (ObjectProphecy) but also any method of the mocked class (methodA); the problem is that those methods will accept the same stuff defined bu the original signature OR TokenInterfaces from Prophecy, OR a mix of that.; also, it will return a MethodProphecy every time.

How we should tackle this?