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

Commencez par la reproduction minimale en Python 2.7 présentée dans l’issue et comparez les deux formes d’affectation chaînée. Suivez la manière dont mypy infère le temporaire non typé dans chaque cas ; le travail est considéré comme terminé lorsque la seconde forme est acceptée de manière cohérente avec la première sans affaiblir la vérification déclarée de Dict[str, Set[str]].