Tweaks in response to Jelle's comments

Author: ilevkivskyi

stdlib/2/typing.pyi

@@ -62,8 +62,9 @@ _V_co = TypeVar('_V_co', covariant=True) # Any type covariant containers.
 _KT_co = TypeVar('_KT_co', covariant=True) # Key type covariant containers.
 _VT_co = TypeVar('_VT_co', covariant=True) # Value type covariant containers.
 _T_contra = TypeVar('_T_contra', contravariant=True) # Ditto contravariant.
+_TC = TypeVar('_TC', bound=Type[object])
 
-def runtime(cls: _T) -> _T: ...
+def runtime(cls: _TC) -> _TC: ...
 
 @runtime
 class SupportsInt(Protocol, metaclass=ABCMeta):
@@ -232,7 +233,7 @@ class ContextManager(Protocol[_T_co]):
  exc_value: Optional[BaseException],
  traceback: Optional[TracebackType]) -> Optional[bool]: ...
 
-@runtime # type: ignore
+@runtime
 class Mapping(Iterable[_KT], Container[_KT], Sized, Protocol[_KT, _VT_co]):
  # TODO: We wish the key type could also be covariant, but that doesn't work,
  # see discussion in https: //github.com/python/typing/pull/273.

stdlib/3/typing.pyi

@@ -65,8 +65,9 @@ _V_co = TypeVar('_V_co', covariant=True) # Any type covariant containers.
 _KT_co = TypeVar('_KT_co', covariant=True) # Key type covariant containers.
 _VT_co = TypeVar('_VT_co', covariant=True) # Value type covariant containers.
 _T_contra = TypeVar('_T_contra', contravariant=True) # Ditto contravariant.
+_TC = TypeVar('_TC', bound=Type[object])
 
-def runtime(cls: _T) -> _T: ...
+def runtime(cls: _TC) -> _TC: ...
 
 @runtime
 class SupportsInt(Protocol, metaclass=ABCMeta):
@@ -326,7 +327,7 @@ if sys.version_info >= (3, 5):
  exc_value: Optional[BaseException],
  traceback: Optional[TracebackType]) -> Awaitable[Optional[bool]]: ...
 
-@runtime # type: ignore
+@runtime
 class Mapping(_Collection[_KT], Protocol[_KT, _VT_co]):
  # TODO: We wish the key type could also be covariant, but that doesn't work,
  # see discussion in https: //github.com/python/typing/pull/273.