Incompatible types in assignment for `dict[key] = tmp = value` and nested structures

I have Python2 code building some nested structures like lists/tuples/sets/dicts in dicts. For populating the nested structure I keep a temporary reference, which mypy fails to parse if the (untyped) temporary reference is not the first variable being assigned:

#!/usr/bin/python2.7
from typing import Dict, Set  # noqa
x = {}  # type: Dict[str, Set[str]]
z = x[''] = set()  # okay
x[''] = y = set()  # fail: Incompatible types in assignment (expression has type "Set[<nothing>]", target has type "Set[str]")

Beginne mit der im Issue gezeigten minimalen Python-2.7-Reproduktion und vergleiche die beiden Formen der verketteten Zuweisung. Verfolge, wie mypy das untypisierte temporäre Objekt in jedem Fall ableitet; als erledigt gilt die Aufgabe, wenn die zweite Form konsistent mit der ersten akzeptiert wird, ohne die deklarierte Prüfung von Dict[str, Set[str]] abzuschwächen.