mirror of
https://github.com/davidhalter/typeshed.git
synced 2026-05-06 21:43:59 +08:00
[stdlib] Add missing Final (#14613)
This commit is contained in:
@@ -11,10 +11,10 @@ from types import CodeType
|
||||
from typing import Any, Final, type_check_only
|
||||
from typing_extensions import deprecated
|
||||
|
||||
DEBUGGER_ID: Final[int]
|
||||
COVERAGE_ID: Final[int]
|
||||
PROFILER_ID: Final[int]
|
||||
OPTIMIZER_ID: Final[int]
|
||||
DEBUGGER_ID: Final = 0
|
||||
COVERAGE_ID: Final = 1
|
||||
PROFILER_ID: Final = 2
|
||||
OPTIMIZER_ID: Final = 5
|
||||
|
||||
def use_tool_id(tool_id: int, name: str, /) -> None: ...
|
||||
def free_tool_id(tool_id: int, /) -> None: ...
|
||||
|
||||
Reference in New Issue
Block a user