bisect: insort_* expects x to match type of elements of a (#7102)

This commit is contained in:
Ilya Kulakov
2022-02-02 03:21:11 -08:00
committed by GitHub
parent beac964588
commit f2ce1d1d21

View File

@@ -1,5 +1,5 @@
import sys
from _typeshed import SupportsRichComparisonT
from _typeshed import SupportsRichComparison, SupportsRichComparisonT
from typing import Callable, MutableSequence, Sequence, TypeVar, overload
_T = TypeVar("_T")
@@ -27,27 +27,21 @@ if sys.version_info >= (3, 10):
*,
key: Callable[[_T], SupportsRichComparisonT] = ...,
) -> int: ...
@overload
def insort_left(a: MutableSequence[_T], x: _T, lo: int = ..., hi: int | None = ..., *, key: None = ...) -> None: ...
@overload
def insort_left(
a: MutableSequence[_T],
x: SupportsRichComparisonT,
x: _T,
lo: int = ...,
hi: int | None = ...,
*,
key: Callable[[_T], SupportsRichComparisonT] = ...,
key: Callable[[_T], SupportsRichComparison] | None = ...,
) -> None: ...
@overload
def insort_right(a: MutableSequence[_T], x: _T, lo: int = ..., hi: int | None = ..., *, key: None = ...) -> None: ...
@overload
def insort_right(
a: MutableSequence[_T],
x: SupportsRichComparisonT,
x: _T,
lo: int = ...,
hi: int | None = ...,
*,
key: Callable[[_T], SupportsRichComparisonT] = ...,
key: Callable[[_T], SupportsRichComparison] | None = ...,
) -> None: ...
else: