@@ -189,59 +189,75 @@ def abs(a: SupportsAbs[_T], /) -> _T: ...
189189def add (a : SupportsAdd [_T_contra , _T_co ], b : _T_contra , / ) -> _T_co : ...
190190@overload
191191def add (a : _T_contra , b : SupportsRAdd [_T_contra , _T_co ], / ) -> _T_co : ...
192+
192193@overload
193194def and_ (a : _SupportsAnd [_T_contra , _T_co ], b : _T_contra , / ) -> _T_co : ...
194195@overload
195196def and_ (a : _T_contra , b : _SupportsRAnd [_T_contra , _T_co ], / ) -> _T_co : ...
197+
196198@overload
197199def floordiv (a : _SupportsFloorDiv [_T_contra , _T_co ], b : _T_contra , / ) -> _T_co : ...
198200@overload
199201def floordiv (a : _T_contra , b : _SupportsRFloorDiv [_T_contra , _T_co ], / ) -> _T_co : ...
202+
200203def index (a : SupportsIndex , / ) -> int : ...
201204def inv (a : _SupportsInversion [_T_co ], / ) -> _T_co : ...
202205def invert (a : _SupportsInversion [_T_co ], / ) -> _T_co : ...
206+
203207@overload
204208def lshift (a : _SupportsLShift [_T_contra , _T_co ], b : _T_contra , / ) -> _T_co : ...
205209@overload
206210def lshift (a : _T_contra , b : _SupportsRLShift [_T_contra , _T_co ], / ) -> _T_co : ...
211+
207212@overload
208213def mod (a : _SupportsMod [_T_contra , _T_co ], b : _T_contra , / ) -> _T_co : ...
209214@overload
210215def mod (a : _T_contra , b : _SupportsRMod [_T_contra , _T_co ], / ) -> _T_co : ...
216+
211217@overload
212218def mul (a : SupportsMul [_T_contra , _T_co ], b : _T_contra , / ) -> _T_co : ...
213219@overload
214220def mul (a : _T_contra , b : SupportsRMul [_T_contra , _T_co ], / ) -> _T_co : ...
221+
215222@overload
216223def matmul (a : _SupportsMatMul [_T_contra , _T_co ], b : _T_contra , / ) -> _T_co : ...
217224@overload
218225def matmul (a : _T_contra , b : _SupportsRMatMul [_T_contra , _T_co ], / ) -> _T_co : ...
226+
219227def neg (a : _SupportsNeg [_T_co ], / ) -> _T_co : ...
228+
220229@overload
221230def or_ (a : _SupportsOr [_T_contra , _T_co ], b : _T_contra , / ) -> _T_co : ...
222231@overload
223232def or_ (a : _T_contra , b : _SupportsROr [_T_contra , _T_co ], / ) -> _T_co : ...
233+
224234def pos (a : _SupportsPos [_T_co ], / ) -> _T_co : ...
235+
225236@overload
226237def pow (a : _SupportsPow [_T_contra , _T_co ], b : _T_contra , / ) -> _T_co : ...
227238@overload
228239def pow (a : _T_contra , b : _SupportsRPow [_T_contra , _T_co ], / ) -> _T_co : ...
240+
229241@overload
230242def rshift (a : _SupportsRShift [_T_contra , _T_co ], b : _T_contra , / ) -> _T_co : ...
231243@overload
232244def rshift (a : _T_contra , b : _SupportsRRShift [_T_contra , _T_co ], / ) -> _T_co : ...
245+
233246@overload
234247def sub (a : SupportsSub [_T_contra , _T_co ], b : _T_contra , / ) -> _T_co : ...
235248@overload
236249def sub (a : _T_contra , b : SupportsRSub [_T_contra , _T_co ], / ) -> _T_co : ...
250+
237251@overload
238252def truediv (a : _SupportsTrueDiv [_T_contra , _T_co ], b : _T_contra , / ) -> _T_co : ...
239253@overload
240254def truediv (a : _T_contra , b : _SupportsRTrueDiv [_T_contra , _T_co ], / ) -> _T_co : ...
255+
241256@overload
242257def xor (a : _SupportsXOr [_T_contra , _T_co ], b : _T_contra , / ) -> _T_co : ...
243258@overload
244259def xor (a : _T_contra , b : _SupportsRXOr [_T_contra , _T_co ], / ) -> _T_co : ...
260+
245261def concat (a : Sequence [_T ], b : Sequence [_T ], / ) -> Sequence [_T ]: ...
246262def contains (a : Container [object ], b : object , / ) -> bool : ...
247263def countOf (a : Iterable [object ], b : object , / ) -> int : ...
@@ -268,79 +284,93 @@ def setitem(a: MutableSequence[_T], b: slice[int | None], c: Sequence[_T], /) ->
268284def setitem (a : MutableMapping [_K , _V ], b : _K , c : _V , / ) -> None : ...
269285
270286def length_hint (obj : object , default : int = 0 , / ) -> int : ...
287+
271288@overload
272289def iadd (a : _SupportsIAdd [_T_contra , _T_co ], b : _T_contra , / ) -> _T_co : ...
273290@overload
274291def iadd (a : SupportsAdd [_T_contra , _T_co ], b : _T_contra , / ) -> _T_co : ...
275292@overload
276293def iadd (a : _T_contra , b : SupportsRAdd [_T_contra , _T_co ], / ) -> _T_co : ...
294+
277295@overload
278296def iand (a : _SupportsIAnd [_T_contra , _T_co ], b : _T_contra , / ) -> _T_co : ...
279297@overload
280298def iand (a : _SupportsAnd [_T_contra , _T_co ], b : _T_contra , / ) -> _T_co : ...
281299@overload
282300def iand (a : _T_contra , b : _SupportsRAnd [_T_contra , _T_co ], / ) -> _T_co : ...
301+
283302def iconcat (a : MutableSequence [_T ], b : Sequence [_T ], / ) -> MutableSequence [_T ]: ... # currently impossible to type more precisely
303+
284304@overload
285305def ifloordiv (a : _SupportsIFloorDiv [_T_contra , _T_co ], b : _T_contra , / ) -> _T_co : ...
286306@overload
287307def ifloordiv (a : _SupportsFloorDiv [_T_contra , _T_co ], b : _T_contra , / ) -> _T_co : ...
288308@overload
289309def ifloordiv (a : _T_contra , b : _SupportsRFloorDiv [_T_contra , _T_co ], / ) -> _T_co : ...
310+
290311@overload
291312def ilshift (a : _SupportsILShift [_T_contra , _T_co ], b : _T_contra , / ) -> _T_co : ...
292313@overload
293314def ilshift (a : _SupportsLShift [_T_contra , _T_co ], b : _T_contra , / ) -> _T_co : ...
294315@overload
295316def ilshift (a : _T_contra , b : _SupportsRLShift [_T_contra , _T_co ], / ) -> _T_co : ...
317+
296318@overload
297319def imod (a : _SupportsIMod [_T_contra , _T_co ], b : _T_contra , / ) -> _T_co : ...
298320@overload
299321def imod (a : _SupportsMod [_T_contra , _T_co ], b : _T_contra , / ) -> _T_co : ...
300322@overload
301323def imod (a : _T_contra , b : _SupportsRMod [_T_contra , _T_co ], / ) -> _T_co : ...
324+
302325@overload
303326def imul (a : _SupportsIMul [_T_contra , _T_co ], b : _T_contra , / ) -> _T_co : ...
304327@overload
305328def imul (a : SupportsMul [_T_contra , _T_co ], b : _T_contra , / ) -> _T_co : ...
306329@overload
307330def imul (a : _T_contra , b : SupportsRMul [_T_contra , _T_co ], / ) -> _T_co : ...
331+
308332@overload
309333def imatmul (a : _SupportsIMatMul [_T_contra , _T_co ], b : _T_contra , / ) -> _T_co : ...
310334@overload
311335def imatmul (a : _SupportsMatMul [_T_contra , _T_co ], b : _T_contra , / ) -> _T_co : ...
312336@overload
313337def imatmul (a : _T_contra , b : _SupportsRMatMul [_T_contra , _T_co ], / ) -> _T_co : ...
338+
314339@overload
315340def ior (a : _SupportsIOr [_T_contra , _T_co ], b : _T_contra , / ) -> _T_co : ...
316341@overload
317342def ior (a : _SupportsOr [_T_contra , _T_co ], b : _T_contra , / ) -> _T_co : ...
318343@overload
319344def ior (a : _T_contra , b : _SupportsROr [_T_contra , _T_co ], / ) -> _T_co : ...
345+
320346@overload
321347def ipow (a : _SupportsIPow [_T_contra , _T_co ], b : _T_contra , / ) -> _T_co : ...
322348@overload
323349def ipow (a : _SupportsPow [_T_contra , _T_co ], b : _T_contra , / ) -> _T_co : ...
324350@overload
325351def ipow (a : _T_contra , b : _SupportsRPow [_T_contra , _T_co ], / ) -> _T_co : ...
352+
326353@overload
327354def irshift (a : _SupportsIRShift [_T_contra , _T_co ], b : _T_contra , / ) -> _T_co : ...
328355@overload
329356def irshift (a : _SupportsRShift [_T_contra , _T_co ], b : _T_contra , / ) -> _T_co : ...
330357@overload
331358def irshift (a : _T_contra , b : _SupportsRRShift [_T_contra , _T_co ], / ) -> _T_co : ...
359+
332360@overload
333361def isub (a : _SupportsISub [_T_contra , _T_co ], b : _T_contra , / ) -> _T_co : ...
334362@overload
335363def isub (a : SupportsSub [_T_contra , _T_co ], b : _T_contra , / ) -> _T_co : ...
336364@overload
337365def isub (a : _T_contra , b : SupportsRSub [_T_contra , _T_co ], / ) -> _T_co : ...
366+
338367@overload
339368def itruediv (a : _SupportsITrueDiv [_T_contra , _T_co ], b : _T_contra , / ) -> _T_co : ...
340369@overload
341370def itruediv (a : _SupportsTrueDiv [_T_contra , _T_co ], b : _T_contra , / ) -> _T_co : ...
342371@overload
343372def itruediv (a : _T_contra , b : _SupportsRTrueDiv [_T_contra , _T_co ], / ) -> _T_co : ...
373+
344374@overload
345375def ixor (a : _SupportsIXOr [_T_contra , _T_co ], b : _T_contra , / ) -> _T_co : ...
346376@overload
0 commit comments