Trait + @phpstan-type + static/self = Type alias contains invalid type

[LastDragon-ru]

Bug report

Seems static/self/$this doesn't supported in @phpstan-type when it used with a Trait. It was fine in v1.11.10, but gives an error in 1.12.0

/**
 * @phpstan-type SettingsFactory callable(static): array<string,mixed>
 */
trait WithConfig {
    // ...
}

Code snippet that reproduces the problem

https://phpstan.org/r/7ea25015-38b1-4d0e-8f9a-cf45d99bceb8

Expected output

No error.

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

Yep, it saves me a lot of time while refactoring.

[calebdw]

Same thing is happening with any of the type checks on traits:

https://phpstan.org/r/02bf59bc-7ffd-428b-a1b3-4d3c5236c13a

This Larastan stub was passing on 1.11, but is now failing on 1.12

[ondrejmirtes]

Just a casual 900 LoC commit to fix this: phpstan/phpstan-src@777a82a

I had to restructure the rules so that some type checks are checked against Trait_ node (once per trait declaration in a codebase) and some against InTraitNode (once per trait use in a codebase).

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