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]")

Inizia con la riproduzione minima in Python 2.7 mostrata nell’issue e confronta le due forme di assegnazione concatenata. Traccia come mypy inferisce il temporaneo senza tipo in ciascun caso; il lavoro è completato quando la seconda forma viene accettata coerentemente con la prima senza indebolire il controllo dichiarato di Dict[str, Set[str]].