Upgrade `typing.type_check_only` to be applicable to variables(and maybe import statements)

from typing import _KT, _promote

Success: no issues found in 1 source file

Sure it has an underscore, but seems super sus that there is no mechanism to specify that a variable in a stub is just a type time helper and has no bearing on reality whatsoever.

You can specify explicitly that an import is accessible by importing it with an alias, although this in itself looks extremely hacky/workaroundy.

Also if it were possible to mark something in a stub as 'type time' only, then you could remove all the underscores and make a bunch of types look a lot nicer.

Very much related to https://github.com/python/mypy/issues/11503, where a module import in a stub can be completely fictitious, and there is currently no way to specify it one way or the other.

Bắt đầu bằng việc xem xét hành vi được yêu cầu của typing.type_check_only đối với các biến và câu lệnh import, sau đó đọc issue liên quan #11503 về việc import các mô-đun hư cấu trong stubs. Được xem là hoàn thành khi ngữ nghĩa mong muốn chỉ áp dụng tại thời điểm kiểm tra kiểu và hành vi import đã được đặc tả, thống nhất rõ ràng.