From d86321033536c0352ea44e0d94312b1be1595576 Mon Sep 17 00:00:00 2001
From: Rune Tynan <runetynan@gmail.com>
Date: Sat, 30 May 2020 23:27:59 -0400
Subject: [PATCH] Improve TypeVar stub (#4150)

---
 stdlib/2/typing.pyi | 10 +++++++++-
 stdlib/3/typing.pyi | 10 +++++++++-
 2 files changed, 18 insertions(+), 2 deletions(-)

diff --git a/stdlib/2/typing.pyi b/stdlib/2/typing.pyi
index e43495d7e..55b91845e 100644
--- a/stdlib/2/typing.pyi
+++ b/stdlib/2/typing.pyi
@@ -9,7 +9,15 @@ import collections  # Needed by aliases like DefaultDict, see mypy issue 2986
 
 overload = object()
 Any = object()
-TypeVar = object()
+
+class TypeVar:
+    __name__: str
+    __bound__: Optional[Type[Any]]
+    __constraints__: Tuple[Type[Any], ...]
+    __covariant__: bool
+    __contravariant__: bool
+    def __init__(self, name: str, *constraints: Type[Any], bound: Optional[Type[Any]] = ..., covariant: bool = ..., contravariant: bool = ...) -> None: ...
+
 _promote = object()
 
 class _SpecialForm(object):
diff --git a/stdlib/3/typing.pyi b/stdlib/3/typing.pyi
index 046d0cf42..7fe15b9ff 100644
--- a/stdlib/3/typing.pyi
+++ b/stdlib/3/typing.pyi
@@ -10,7 +10,15 @@ import collections  # Needed by aliases like DefaultDict, see mypy issue 2986
 
 overload = object()
 Any = object()
-TypeVar = object()
+
+class TypeVar:
+    __name__: str
+    __bound__: Optional[Type[Any]]
+    __constraints__: Tuple[Type[Any], ...]
+    __covariant__: bool
+    __contravariant__: bool
+    def __init__(self, name: str, *constraints: Type[Any], bound: Optional[Type[Any]] = ..., covariant: bool = ..., contravariant: bool = ...) -> None: ...
+
 _promote = object()
 
 class _SpecialForm: