How phpstan detects real types of variables and method calls, especially case when trait is used

[LoopKarma]

Support question

Hello, thank you for the great tool! I have a question how phpstan detects real types of variables.
In my codebase I have several classes with trait usage and I want to detect that trait method calls are related to the different namespace of trait and not to original class. Is it possible to use phpstan in my php code? Maybe you can provide some examples how it's working internally or how I can integrate with phpstan. Thank you

[ondrejmirtes]

Hi, thank you 😊 Do you want to write a custom rule for PHPStan? It’s not obvious from your description what you want to achieve. An example on phpstan.org with expected output would also help.

[LoopKarma]

I will check documentation about rules because I'm not aware what does this mean :)
here is example https://phpstan.org/r/2e7f5e21-ba46-4d53-bb34-042ab5a03097
my goal is to detect that method call $this->log is actually method of the trait and not HelloWorld method.

[ondrejmirtes]

And you want to disallow any calls to trait methods, or what exactly?

[LoopKarma]

it's related to another testing tool infection specifically to that issue. infection/infection#697. The point is not to create changes for specific method calls if certain namespace and method is defined in ignore config

[ondrejmirtes]

So this is about using PHPStan internally in Infection. We can continue the discussion there.

[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.