&, |, and ^ bool stubs incorrect

[jhance]

Not sure why this is, I would assume with the current code that __and__ would be used as a fallback.

a = True
a &= True

should typecheck.

[gvanrossum]

Why is '&=' special? What's different with all other binary operators?

[jhance]

I just edited it after reading the code in not-11:30 mode, I agree completely now and am not sure why its broken for &=

[gvanrossum]

Seems the problem really is that &, | and ^ on bool arguments should be defined to return bools. This can be fixed in the stubs.

[JukkaL]

Maybe the methods will have to be overloaded or use a type variable, since when calling with an int argument the result is int, whereas when called with bool the result is bool (similar to int/float).

[gvanrossum]

Closing in favor of python/typeshed#649