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

issue に示されている最小限の Python 2.7 再現コードから始め、2 つの連鎖代入形式を比較します。それぞれの場合に mypy が型指定のない一時変数をどのように推論するかを追跡します。完了条件は、宣言された Dict[str, Set[str]] のチェックを弱めることなく、2 つ目の形式が 1 つ目の形式と一貫して受け入れられることです。