Simplify bool stub

[AlexWaygood]

The semantics of this proposed revision should be identical to the existing stub. I'm curious, though, to see whether primer shows false-positives like those we saw in #6762

[github-actions]

Diff from mypy_primer, showing the effect of this PR on open source code:

pandas (https://github.com/pandas-dev/pandas)
+ pandas/core/ops/mask_ops.py:58: error: Value of type variable "_B" of "__or__" of "bool" cannot be "ndarray[Any, Any]" [type-var]+ pandas/core/ops/mask_ops.py:181: error: Value of type variable "_B" of "__or__" of "bool" cannot be "ndarray[Any, Any]" [type-var]+ pandas/core/groupby/indexing.py:163: error: Value of type variable "_B" of "__or__" of "bool" cannot be "ndarray[Any, dtype[bool_]]" [type-var]+ pandas/core/groupby/indexing.py:166: error: Value of type variable "_B" of "__or__" of "bool" cannot be "ndarray[Any, dtype[bool_]]" [type-var]+ pandas/core/groupby/indexing.py:175: error: Value of type variable "_B" of "__or__" of "bool" cannot be "ndarray[Any, Any]" [type-var]+ pandas/core/groupby/indexing.py:177: error: Value of type variable "_B" of "__or__" of "bool" cannot be "Union[bool, ndarray[Any, Any]]" [type-var]

[AlexWaygood]

I'll take a look at the pandas errors in more detail later.

[sobolevn]

In my experience mypy does not have ideal support for TypeVars with values (and bugs in this field are really hard to fix!). It might be the root cause in pandas case.

[srittau]

Also marking as "deferred" due to mypy problems.

[AlexWaygood]

Also marking as "deferred" due to mypy problems.

Agreed, this definitely shouldn't be merged until the errors identified in #6762 are resolved (if at all).

[hauntsaninja]

This is likely the exact same thing as python/mypy#11880 from the other day

[JelleZijlstra]

Seems like this causes new false positives and doesn't actually solve any problem, so maybe we should just close this. (Trying to keep down the list of open PRs.)