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

typeshed/stdlib/asyncio/subprocess.pyi の Process 宣言から始め、create_subprocess_exec で使用される asyncio のサブプロセス宣言を追跡します。issue の例にある mypy エラーを再現し、その後、PIPE を渡すことで該当するストリーム属性が非オプショナルになることを、デフォルトの None の動作を変更せずに確認します。