"Method M should return static(T) but returns T" for traits

[jmdelehaye]

Bug report

The use of the "static" keyword as a return type in a Trait does not seem to be handled properly.

Code snippet that reproduces the problem

https://phpstan.org/r/cb077076-faae-4bbb-b865-ab081d95cb52

Expected output

no error

Did PHPStan help you today? Did it make you happy in any way?

Yes, phpstan is a great tool and we use it at the max level on all our projects...
...with a HUGE baseline that we correct as we go :)

[jmdelehaye]

It looks like #4860

[ondrejmirtes]

Hello, thank you for your kind words! This is an expected error and has nothing to do with traits, see: https://phpstan.org/r/cd9bdddf-19cc-414c-a86c-e1b2fbb710d2

The error it's trying to prevent: https://3v4l.org/QvcPB

[jmdelehaye]

Thank you for your quick reply.

Using the "static" return type was a hack to get IDE autocompletion, but it was a mistake.

I fixed IDE autocompletion using the phpdoc @method tag:
https://phpstan.org/r/7ae38447-e3f9-4b26-8cf3-03954af12f32
https://3v4l.org/eKvEM

[github-actions]

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.