diff --git a/third_party/2and3/typing_extensions.pyi b/third_party/2and3/typing_extensions.pyi
index fdc9d874d..c9a2ec435 100644
--- a/third_party/2and3/typing_extensions.pyi
+++ b/third_party/2and3/typing_extensions.pyi
@@ -24,6 +24,7 @@ Protocol: _SpecialForm = ...
 Final: _SpecialForm = ...
 def final(f: _F) -> _F: ...
 Literal: _SpecialForm = ...
+def IntVar(__name: str) -> Type: ...
 
 # Internal mypy fallback type for all typed dicts (does not exist at runtime)
 class _TypedDict(Mapping[str, object], metaclass=abc.ABCMeta):