下面是两个不同类型的函数。代码按预期运行。PyCharm和mypy也没有显示警告或错误。
但VS代码显示gen1（）函数警报：
异步生成器函数的返回类型必须为“AsyncGenerator”或“AsyncIterable”类型（reportGeneralTypeIssues）
所以问题是：

1. gen1（）定义中的“可选”类型是否多余？（* 我认为是多余的，因为除了AsyncGenerator作为返回值之外，没有其他方法可以接收任何内容 *）
   1.使用异步类型VS代码中的Pylance是否有问题？
   讨论的代码：

import asyncio
from typing import AsyncGenerator, Optional

async def gen1() -> Optional[AsyncGenerator[str, None]]:
    while True:
        return
    yield "t"

async def gen2() -> AsyncGenerator[str, None]:
    while True:
        return
    yield "t"

async def main():
    print(f"{type(gen1())=}")
    print(f"{type(gen2())=}")
    async for d in gen1():
        print(d)
    
asyncio.run(main())

顺便说一句，在一些流行的软件包中使用了类似gen1的类型。https://github.com/pyrogram/pyrogram/blob/master/pyrogram/methods/chats/get_chat_members.py

async def get_chat_members(
        self: "pyrogram.Client",
        chat_id: Union[int, str],
        query: str = "",
        limit: int = 0,
        filter: "enums.ChatMembersFilter" = enums.ChatMembersFilter.SEARCH
    ) -> Optional[AsyncGenerator["types.ChatMember", None]]: