Leave out Mapping and Sequence for now

Author: Ivan Levkivskyi

stdlib/2/typing.pyi

@@ -143,8 +143,7 @@ class Container(Protocol[_T_co]):
  @abstractmethod
  def __contains__(self, x: object) -> bool: ...
 
-@runtime
-class Sequence(Iterable[_T_co], Container[_T_co], Sized, Reversible[_T_co], Protocol[_T_co]):
+class Sequence(Iterable[_T_co], Container[_T_co], Sized, Reversible[_T_co], Generic[_T_co]):
  @overload
  @abstractmethod
  def __getitem__(self, i: int) -> _T_co: ...
@@ -158,8 +157,7 @@ class Sequence(Iterable[_T_co], Container[_T_co], Sized, Reversible[_T_co], Prot
  def __iter__(self) -> Iterator[_T_co]: ...
  def __reversed__(self) -> Iterator[_T_co]: ...
 
-@runtime
-class MutableSequence(Sequence[_T], Protocol[_T]):
+class MutableSequence(Sequence[_T], Generic[_T]):
  @abstractmethod
  def insert(self, index: int, object: _T) -> None: ...
  @overload
@@ -233,8 +231,7 @@ class ContextManager(Protocol[_T_co]):
  exc_value: Optional[BaseException],
  traceback: Optional[TracebackType]) -> Optional[bool]: ...
 
-@runtime # type: ignore
-class Mapping(Iterable[_KT], Container[_KT], Sized, Protocol[_KT, _VT_co]):
+class Mapping(Iterable[_KT], Container[_KT], Sized, Generic[_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.
  @abstractmethod
@@ -253,8 +250,7 @@ class Mapping(Iterable[_KT], Container[_KT], Sized, Protocol[_KT, _VT_co]):
  def iteritems(self) -> Iterator[Tuple[_KT, _VT_co]]: ...
  def __contains__(self, o: object) -> bool: ...
 
-@runtime
-class MutableMapping(Mapping[_KT, _VT], Protocol[_KT, _VT]):
+class MutableMapping(Mapping[_KT, _VT], Generic[_KT, _VT]):
  @abstractmethod
  def __setitem__(self, k: _KT, v: _VT) -> None: ...
  @abstractmethod

stdlib/3/typing.pyi

@@ -226,8 +226,7 @@ else:
  @runtime
  class _Collection(Sized, Iterable[_T_co], Container[_T_co], Protocol[_T_co]): ...
 
-@runtime
-class Sequence(_Collection[_T_co], Reversible[_T_co], Protocol[_T_co]):
+class Sequence(_Collection[_T_co], Reversible[_T_co], Generic[_T_co]):
  @overload
  @abstractmethod
  def __getitem__(self, i: int) -> _T_co: ...
@@ -244,8 +243,7 @@ class Sequence(_Collection[_T_co], Reversible[_T_co], Protocol[_T_co]):
  def __iter__(self) -> Iterator[_T_co]: ...
  def __reversed__(self) -> Iterator[_T_co]: ...
 
-@runtime
-class MutableSequence(Sequence[_T], Protocol[_T]):
+class MutableSequence(Sequence[_T], Generic[_T]):
  @abstractmethod
  def insert(self, index: int, object: _T) -> None: ...
  @overload
@@ -327,8 +325,7 @@ if sys.version_info >= (3, 5):
  exc_value: Optional[BaseException],
  traceback: Optional[TracebackType]) -> Awaitable[Optional[bool]]: ...
 
-@runtime # type: ignore
-class Mapping(_Collection[_KT], Protocol[_KT, _VT_co]):
+class Mapping(_Collection[_KT], Generic[_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.
  @abstractmethod
@@ -344,8 +341,7 @@ class Mapping(_Collection[_KT], Protocol[_KT, _VT_co]):
  def values(self) -> ValuesView[_VT_co]: ...
  def __contains__(self, o: object) -> bool: ...
 
-@runtime
-class MutableMapping(Mapping[_KT, _VT], Protocol[_KT, _VT]):
+class MutableMapping(Mapping[_KT, _VT], Generic[_KT, _VT]):
  @abstractmethod
  def __setitem__(self, k: _KT, v: _VT) -> None: ...
  @abstractmethod