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

[gvanrossum]

See python/mypy#1684. Looks like we need something like

_TI = TypeVar('_TI', bound=int)
class int(...):
    ...
    def __and__(self, n: _TI) -> _TI: ...
    ...
    def __rand__(self, n: _TI) -> _TI: ...

and ditto for | and ^.o

[JukkaL]

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?

[gvanrossum]

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: ...

[srittau]

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

a = True
a &= True