Invalid redis types

[danog]

https://psalm.dev/r/6c1bda5975, which is weird since the callmap seems to contain the correct type.

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/6c1bda5975

<?php
$a = new \Redis;
/** @psalm-trace $result */
$result = $a->get('a');

Psalm output (using commit a9f4148):

INFO: Trace - 4:1 - $result: Redis|string

INFO: UnusedVariable - 4:1 - $result is never referenced or the value is not used

[AndrolGenhald]

A stub was added in #7614 that overrides the CallMap. This is actually the correct type, see here for discussion. If you want better types you can try making a plugin, I'd suggest using a template to track pipeline/multi state, but I've had trouble with using templates for state before so I'm not sure if that would work.