overload and contextmanager doesn't work together

Bug Report

contextmanager and overload doesn't seem to be compatbile together

To Reproduce

from contextlib import contextmanager
from typing import overload, ContextManager, Iterator
from uuid import UUID

@overload
def cactus() -> ContextManager[int]:
    ...

@overload
def cactus(_id: str) -> ContextManager[UUID]:
    ...

@contextmanager
def cactus(_id: str | None = None) -> Iterator[UUID] | Iterator[int]:
    if not _id:
        yield 1
    yield UUID(_id)

Expected Behavior

Mypy should find no issue

Actual Behavior

test.py: note: In function "cactus":
test.py:16:2: error: Overloaded function implementation cannot produce return type of signature 1  [misc]
    @contextmanager
     ^
test.py:16:2: error: Overloaded function implementation cannot produce return type of signature 2  [misc]
    @contextmanager
     ^
Found 2 errors in 1 file (checked 1 source file)

Your Environment

• Mypy version used: 1.0.0
• Mypy command-line flags:
• Mypy configuration options from mypy.ini (and other config files):
• Python version used: 3.10.6

まず、提供された Python 3.10.6 の例を mypy 1.0.0 で再現し、@overload と @contextmanager の相互作用に重点を置きます。オーバーロードされた実装の型チェックの経路を追跡し、回帰テストを追加します。完了の条件は、関連する overload チェックを後退させることなく、例がエラーを出さないことです。