MyPy treats initialization of a variable as an assignment for variance checks for complex dictionary.

The problem is that when initializing a variable from a dictionary expression it treats the type as invariant, but in the case of initialialization, it is covariant.

Example:

CODES = {
    "a": "b",
    "c": "d",
    "e": "f",
}

# MyPy rejects this

PATTERNS: dict[str, tuple[str | None, str | None]] = {
    "1" + k: ((v + "1" if v else None), "x")
    for (k, v) in CODES.items()
} | {
    "2" + k: ((v + "2" if v else None), "x")
    for (k, v) in CODES.items()
}

# But is OK with this:

X: str | None = "x"

PATTERNS2: dict[str, tuple[str | None, str | None]] = {
    "1" + k: ((v + "1" if v else None), X)
    for (k, v) in CODES.items()
} | {
    "1" + k: ((v + "1" if v else None), X)
    for (k, v) in CODES.items()
}

Both patterns should be OK.

まず、提供された MyPy の例を実行し、PATTERNS と PATTERNS2 の診断結果を比較します。アノテーション付き初期化および分散性チェックと組み合わされた辞書式の型チェック経路を追跡します。この例を対象とするリグレッションテストを追加します。完了の条件は、関連しない分散性チェックを弱めることなく、両方のパターンが受け入れられることです。