Async for support for websockets

Hello @pgjones,

I just would like to keep up this topic.

There was a discussion in which Nathaniel J. Smith mentioned that async for support for websockets would be more pythonic.

Currently:

while True:
    result = await websocket.receive_json()

The more idiomatic:

async for result in websocket.receive_json():
    ...

It would be great that the async for loop supports both receive and receive_json methods.

Thanks for your help in advance.

Best Regards,
András

The issue identifies websocket.receive and websocket.receive_json as the relevant entry points; start by tracing their implementation and current websocket iteration behavior. Confirm how async iteration could support both methods, then verify that receiving JSON and non-JSON messages works through the proposed interface.