Stubs for e.g. int.__add__ need to be more sophisticated #649

Activity

1. gvanrossum

   added

   help wanted

   on Nov 1, 2016
2. JukkaL commented on Nov 1, 2016

   

   JukkaL

   on Nov 1, 2016

   Contributor

   More actions

   I don't think that the example is correct:

   >>> class A(int): pass
   >>> type(A(1) & 1)
   <class 'int'>
   >>> type(1 & A(1))
   <class 'int'>
   

   Maybe we just need to add a bunch of operator method overrides to the stubs for bool?
3. gvanrossum commented on Nov 11, 2016

   

   gvanrossum

   on Nov 11, 2016

   MemberAuthor

   More actions

   Hm, mypy doesn't like the overloads. This works but makes me feel dirty:

   class bool(int, SupportsInt, SupportsFloat):
       def __init__(self, o: object = ...) -> None: ...
       @overload  # type: ignore
       def __and__(self, n: bool) -> bool: ...
       @overload
       def __and__(self, n: int) -> int: ...
4. gvanrossum

   removed

   help wanted

   on Apr 30, 2017
5. srittau commented on Oct 21, 2018

   

   srittau

   on Oct 21, 2018

   Collaborator

   More actions

   Is this still an issue? At least the code from the original bug report type checks fine with 0.641:

   a = True
   a &= True
6. gvanrossum

   closed this as completedon Oct 21, 2018
7. hswong3i

   added a commit that references this issue on May 25, 2025

   Move Protocol, runtime_checkable, Final, final, Literal, and TypedDic…

   ...

   b37de4d