为什么pyright严格模式不将其标记为错误

Question

我在

test.py

中有以下Python代码：

my_dict = {"a": 1, "b": 3}
for k,v in my_dict:
   print(k)
   print(v)

当我运行

pyright pytest.py

时，这不会被标记为错误，即使根据我的理解，有足够的信息知道

my_dict.__iter__

返回

Iterable[keys]

并且类型检查器必须能够推断元组解包将失败

Answer 1

Pyright 假设字典键是字符串，并且是可迭代的。

元组解包是对可迭代对象的有效操作。