Add precise return types for RedisArray methods in function signature map

[phpstan-bot]

Summary

RedisArray methods like keys() had imprecise return types from the phpstorm stubs (bool|array), which includes true as a possible return value (wrong — these methods return false on failure, not true). The untyped array also prevented proper type narrowing of keys and values.

Changes

• Added RedisArray::keys to resources/functionMap.php with return type array<string, list<string>>|false — per phpredis docs, KEYS() on a RedisArray executes on each node and returns an associative array indexed by host name
• Added RedisArray::info with return type array<string, array<string, mixed>>|false — similarly runs on each node and returns per-host results
• Added RedisArray::mget with return type list<mixed>|false — distributes keys across nodes and merges results
• Added RedisArray::scan with return type list<string>|false — runs on a specific node (has $node parameter)
• Added RedisArray::hscan with return type array<string, string>|false — key-routed, matches Redis::hscan semantics
• Added RedisArray::sscan with return type list<string>|false — key-routed, matches Redis::sscan semantics
• Added RedisArray::zscan with return type array<string, float>|false — key-routed, matches Redis::zscan semantics
• Added RedisArray to stubs/Redis.stub with @phpstan-all-methods-impure for consistency with Redis and RedisCluster

Analogous cases probed but not changed

• Administrative per-host commands (flushall, flushdb, save, select, setOption, getOption, ping) also have bool|array return types, but the exact array structure for per-host results is not well-documented, so these were left unchanged

Root cause

The phpstorm stubs for RedisArray use the imprecise bool|array return type for most methods. PHPStan's function signature map (resources/functionMap.php) did not override these with more precise types, causing false positives when users checked for false (strict comparison against bool which includes true) and when iterating the returned arrays (untyped array meant mixed keys and values).

Test

• Added tests/PHPStan/Analyser/nsrt/bug-9748.php with type assertions for all seven fixed methods:
  • keys(): asserts array<string, list<string>>|false, verifies narrowing after === false check, and verifies correct key/value types in nested foreach
  • info(): asserts array<string, array<string, mixed>>|false
  • mget(): asserts list<mixed>|false
  • scan(): asserts list<string>|false
  • hscan(): asserts array<string, string>|false
  • sscan(): asserts list<string>|false
  • zscan(): asserts array<string, float>|false

Fixes phpstan/phpstan#9748

[VincentLanglet]

Redis method are using __benevolent so I think we can do the same here

[phpstan-bot]

Done. I wrapped all RedisArray method return types in __benevolent<...> to match the convention used by Redis methods, and updated the test assertions to expect the parenthesized format that BenevolentUnionType::describe() produces. Tests and static analysis all pass.