В Psalm версии 3.11.0 и выше можно использовать @psalm-trace $var для отладки типа переменной.



В тикете предложил добавить отладку значения нижестоящего выражения без указания переменной.