False positive "is not iterable" type check report

[fedyakov]

Environment data

• Language Server version: 2021.6.1
• OS and version: darwin x64
• Python version: 3.9.5
• python.analysis.indexing: undefined
• python.analysis.typeCheckingMode: basic

Code Snippet

a = 0
b = [lambda: a]
for a in b:
    pass

Actual behaviour

There is a type check report on line 3 when typeCheckingMode=basic:

"b" is not iterable Pylance(reportGeneralTypeIssues)
(variable) b: list[() -> (int | Unknown)]

I do not expect such a report cause "b" is a list and it's obviously iterable.

[erictraut]

Thanks for the bug report. This will be fixed in the next release.

[bschnurr]

This issue has been fixed in version 2021.6.3, which we've just released. You can find the changelog here: https://github.com/microsoft/pylance-release/blob/main/CHANGELOG.md#202163-23-june-2021