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

Empieza con la reproducción mínima en Python 2.7 mostrada en el issue y compara las dos formas de asignación encadenada. Traza cómo mypy infiere el temporal sin tipo en cada caso; se considera terminado cuando la segunda forma se acepta de manera coherente con la primera sin debilitar la comprobación declarada de Dict[str, Set[str]].