Bug proof: missing type on return call

[Slamdunk]

No description provided.

[ondrejmirtes]

I don't understand this at all - what is this about?

[ondrejmirtes]

If you want to report a bug, please create a new issue and adhere to the issue template - post a link to phpstan.org and include expected + actual output.

[Slamdunk]

A test case is the best and more precise way to have a bug reported: you can pull the commit and start straightforwardly the debugging session.

[Slamdunk]

https://twitter.com/mwop/status/775440661197623296

[ondrejmirtes]

Yep, but a pull request with a test without any context or description is really useless. What you're expecting? You want to have MissingTypeCall in the error description or is there anything more?

[ondrejmirtes]

The thing is that AnyClass|object is simplified to object in the typesystem because if the return type can be any object, there's no point in adding another class to that. It does not add any information.

[Slamdunk]

Yep, but a pull request with a test without any context or description is really useless. What you're expecting? You want to have MissingTypeCall in the error description or is there anything more?

Yes, nothing more than what test suite in the build shows.

The thing is that AnyClass|object is simplified to object in the typesystem because if the return type can be any object, there's no point in adding another class to that. It does not add any information.

Didn't know that: it suprised me to have a reported error that differs from the PHPDoc.

Ok then.

[ondrejmirtes]

Yep, I will suggest do @JanTvrdik that we could point out this in a phpDoc rule - that it's sometimes possible to simplify your own phpDocs...