Add bound Hashable for types for keys of type Mapping and values of type Set

Problem

Types used for keys in mappings and values in sets are too broad.

How to reproduce

d: [list, int] = {}  # Tools that use typeshed see this code as valid.
d[[1]] = 2 # TypeError: unhashable type: 'list'

Solution

Change type of keys in mappings: _KT = TypeVar("_KT") to _KT = TypeVar("_KT", bound=Hashable)

• Added PR with fixes to stdlib

But I still have questions about how to fix the types in set and frozenset.

• For set, we using _T, which is also used for values in the list. Can I change it to _KT? The requirements for the type of values in the set are the same as for the keys in the dictionary. I understand that it is a value, not a key, and the name can be confusing. Do you think of a better option?

• For frozenset, we using covariant _T_co, which is also used for values in the tuple. It's the same problem here. We need a new type that is covariant and bound to Hashable.

• set

• frozenset

And once we figure out what to do with types in stdlib, I will be happy to add the same changes to third-party libraries.

Bắt đầu bằng cách xem xét stdlib/builtins.pyi tại các định nghĩa set và frozenset được issue tham chiếu, cùng với các thay đổi mapping liên quan trong PR 9570. Quyết định cách biểu diễn biến kiểu của set và một biến frozenset đồng biến bị giới hạn bởi Hashable, sau đó cập nhật các stub của stdlib và xác minh rằng các khóa không thể băm hoặc các giá trị set bị các công cụ kiểm tra kiểu liên quan từ chối.