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.

Beginne damit, das bereitgestellte MyPy-Beispiel auszuführen, und vergleiche die Diagnosen für PATTERNS und PATTERNS2. Verfolge den Typprüfpfad für Dictionary-Ausdrücke in Kombination mit annotierter Initialisierung und Varianzprüfungen. Füge einen Regressionstest hinzu, der das Beispiel abdeckt; die Aufgabe ist abgeschlossen, wenn beide Patterns akzeptiert werden, ohne die Prüfung unabhängiger Varianz abzuschwächen.