`redis.asyncio.client.Redis.ping` type error introduced in 7.0

[tjkuson]

To reproduce, install redis and run a type-checker on the following snippet:

from redis.asyncio import Redis

async def main() -> None:
    r = Redis()
    await r.ping()

Both the latest versions of mypy and ty report a type error due to the return value of the ping method being Awaitable[bool] | bool. The expected behaviour is that the above snippet passes type checks.

This is a type regression introduced in #3789.

[petyaslavova]

Hi @tjkuson, thank you for bringing this to our attention! We will have a look at it.