mypy is confused by ItemsView unpacking

[ZeeD]

Bug Report

It seems to me that mypy doesn't known that ItemsView can be "unpacked" as an iterable of pairs

To Reproduce

issue.py:

items = ({'a': 'x', 'b': 'y', 'c': 'z'}).items()
items2 = (*items, )
items3 = (*iter(items), )

reveal_locals()

k, v = next(iter(items))
k2, v2 = next(iter(items2))
k3, v3 = next(iter(items3))

>mypy issue.py
issue.py:5: note: Revealed local types are:
issue.py:5: note:     items: typing.ItemsView[builtins.str*, builtins.str*]
issue.py:5: note:     items2: builtins.tuple[builtins.str*]
issue.py:5: note:     items3: builtins.tuple[Tuple[builtins.str*, builtins.str*]]
issue.py:8: error: Unpacking a string is disallowed
Found 1 error in 1 file (checked 1 source file)

>mypy --version
mypy 0.910

Expected Behavior

no errors: items2 should have the same "type" of items3 - as there is no errors running the snippet of code in python

[sobolevn]

Works for me on master:

» mypy out/ex.py --strict-optional --warn-unreachable --show-traceback
out/ex.py:5: note: Revealed local types are:
out/ex.py:5: note:     items: _collections_abc.dict_items[builtins.str*, builtins.str*]
out/ex.py:5: note:     items2: builtins.tuple[Tuple[builtins.str*, builtins.str*]]
out/ex.py:5: note:     items3: builtins.tuple[Tuple[builtins.str*, builtins.str*]]

[ZeeD]

oh, cool!
do you have an idea on when current master will be released?

[JelleZijlstra]

You can follow along in #11158. There's a lot on master now that's not going to be in 0.920, though. I don't know whether that includes the fix for this bug.

[JelleZijlstra]

We did finally release the fix for this.