`Counter.__init__` can't be typed safely

Counter overloads are unsafe

from collections import Counter

# no type errors reported and nothing tricky going on
a = {"a": "hello"}
b = Counter(a)
c = b.get("a", 0)
print(c + 2)  # crash

and I think there isn't a way to express them safely in the current type system.
Iterable[_T] needs to be something like Iterable[_T] - Mapping[_T, ~int]

If type checkers want to address this now, it would probably have to be a special case.

Without having to worry about type intersections/differences/negations, maybe we could have a way to indicate:
"If this overload matches (after all previous overloads fail), a type error should be reported."

something like:

    @overload
    def __init__(self, mapping: Mapping[_T, Any], /) -> typing.Error: ...

Bắt đầu bằng cách xem xét ví dụ overload của Counter và hành vi typing.Error được đề xuất trong issue này. Không có tệp repository hoặc test nào được xác định; để hoàn thành sẽ cần có thiết kế hệ thống kiểu được thống nhất và một cách được ghi lại trong tài liệu để biểu diễn hoặc chẩn đoán overload không an toàn.