Type hint asyncio.Process streams (stdin, stdout, stderr) when created with values other than default None

Is it possible to update asyncio stub files so that asyncio.Process.{stdin,stdout,stderr} are resolved as non-None by mypy?

Example:

from asyncio import create_subprocess_exec
from asyncio.subprocess import PIPE

async def main() -> None:
    proc = await create_subprocess_exec('/usr/bin/ls', stdout=PIPE)
    async for line in proc.stdout:
        print(line)

Typing error reported by mypy (desired behaviour is no error):

error: Item "None" of "StreamReader | None" has no attribute "__aiter__" (not async iterable)  [union-attr]

Current asyncio.Process declaration in typeshed/stdlib/asyncio/subprocess.pyi:

class Process:
    stdin: streams.StreamWriter | None
    stdout: streams.StreamReader | None
    stderr: streams.StreamReader | None

Bắt đầu với khai báo Process trong typeshed/stdlib/asyncio/subprocess.pyi và lần theo các khai báo subprocess của asyncio được create_subprocess_exec sử dụng. Tái hiện lỗi mypy từ ví dụ của issue, sau đó xác minh rằng việc truyền PIPE khiến các thuộc tính stream liên quan trở thành không tùy chọn mà không thay đổi hành vi None mặc định.