wrong template inference

[orklah]

https://psalm.dev/r/cc7ea40afd

$b should be array<array-key, ReflectionAttribute<object>>, not empty. In the remove-empty PR, it makes ReflectionAttribute generates Never everywhere that are then flagged as NoValue

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/cc7ea40afd

<?php

final class a
{
    /**
     * @psalm-param class-string $className
     */
    public function a(string $className): void
    {
        $a = new ReflectionClass($className);
        /** @psalm-trace $a */
        $b = $a->getAttributes();
        /** @psalm-trace $b */
    }
}

Psalm output (using commit f4b48ab):

INFO: Trace - 12:9 - $a: ReflectionClass<object>

INFO: Trace - 13:0 - $b: array<array-key, ReflectionAttribute<empty>>

INFO: UnusedVariable - 12:9 - $b is never referenced or the value is not used