Wrong type with static

[ddebin]

Wrong type resolution when class property is defined as static.

https://psalm.dev/r/f5f3b15557

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/f5f3b15557

<?php
/**
 * @template T
 */
class Foo
{
    /**
     * @var T[]
     */
    protected array $A = [];

    /**
     * @var T[]
     */
    protected static array $B = [];
}

Psalm output (using commit b9d9a49):

ERROR: UndefinedDocblockClass - 15:22 - Docblock-defined class, interface or enum named T does not exist

[orklah]

This is on purpose. Psalm made a design choice that class-level templates and static properties/method should not mix.

[AndrolGenhald]

Related to #5753 and #7482. Class templates are currently ignored on static properties and methods. I think there are some cases where this should be allowed for methods, but it could cause harder problems if allowed on properties: https://3v4l.org/ZcQMS. We'll have to think over it carefully if we decide to support it in the future.