Semaphore's value argument

Currently we assume that the semaphore's value must be an integer:
https://github.com/python/typeshed/blob/1af9de664f41b51bd3b71dac349564c5c25df810/stdlib/asyncio/locks.pyi#L88-L93

Generally this is correct, but I had a use case where I wanted to disable the semaphore without restructuring my code, so I used float("inf") as the value to ensure that it never unlocks. This works perfectly fine, because the only operations that value needs to support are:

• Adding 1
• Subtracting 1
• Comparing to 0

The infinity float value does all of these fine. So I therefore wonder if we should make this type be int | Literal[math.inf]? I agree that general floats are not a good idea because they will get below 0 without triggering the wait.

Bắt đầu với stdlib/asyncio/locks.pyi ở các dòng 88-93 và kiểm tra chú thích giá trị của Semaphore cùng các quy ước typeshed xung quanh. Xác nhận liệu int | Literal[math.inf] có biểu đạt hành vi được hỗ trợ hay không, sau đó chạy bước kiểm tra xác thực typeshed tương ứng; được xem là hoàn tất khi chú thích chấp nhận infinity mà không mở rộng hỗ trợ sang các floats nói chung.