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

Inizia con la dichiarazione di Process in typeshed/stdlib/asyncio/subprocess.pyi e segui le dichiarazioni dei sottoprocessi asyncio usate da create_subprocess_exec. Riproduci l'errore di mypy dell'esempio dell'issue, quindi verifica che passare PIPE renda non opzionali gli attributi degli stream interessati senza modificare il comportamento predefinito di None.