Uncaught Error in Assignment of type Iterator[int] to type Iterator[str]

Bug Report

Mypy allows the assignment
it: Iterator[str] = iter(d) where d is dict[int, str].

To Reproduce

https://mypy-play.net/?mypy=latest&python=3.12&flags=strict&gist=05c55a654acd175b763be1c73567a107

from typing import Iterator


d: dict[int, str] = {1: 'A'}
it: Iterator[str] = iter(d)  # mypy does not complain, although iter(d) has type Iterator[int]!
s = next(it) + 'foo'  # TypeError: unsupported operand type(s) for +: 'int' and 'str'

Expected Behavior

Mypy raises an error such as
error: Argument 1 to "iter" has incompatible type "dict[int, str]"; expected "SupportsIter[Iterator[str]]"

Actual Behavior

Success: no issues found in 1 source file

Your Environment

mypy Playground

• Mypy version used: mypy latest 1.17.1
• Mypy command-line flags: --strict
• Python version used: 3.12

リンクされている mypy-play.net の再現例と iter(d) 式から始め、Python 3.12 上で --strict を付けた mypy 1.17.1 を使用します。dict[int, str] に対して型チェッカーがどのようにイテレーター型を推論するかを追跡し、Iterator[str] への代入が拒否されることを示す回帰テストを追加します。