Allow optionally preventing bool from being accepted as a subtype of int in MyPy.

[stdedos]

Feature

Allow optionally preventing bool from being accepted as a subtype of int in MyPy.

Might be related? #8363

Pitch

def increment(x: int) -> int:
    return x + 1

print(increment(True))  # Outputs 2, which can be confusing

Python treats bool as a subclass of int, causing potential bugs when a bool is used where an int is expected. Adding a MyPy flag to reject this would improve type safety and code reliability.

Disclaimer: I have read already https://mypy.readthedocs.io/en/stable/builtin_types.html?#simple-types

[hauntsaninja]

Yup, this is a duplicate of the feature request in #8363