Function mypy_bool_typing

tests/test_typing.py:308–345

()

@pytest.mark.mypy_testing
def mypy_bool_typing() -> None:
    class T(HasTraits):
        b = Bool(True).tag(sync=True)
        ob = Bool(None, allow_none=True).tag(sync=True)

    t = T()
    reveal_type(
        Bool(True)  # R: traitlets.traitlets.Bool[builtins.bool, builtins.bool | builtins.int]
    )
    reveal_type(
        Bool(  # R: traitlets.traitlets.Bool[builtins.bool, builtins.bool | builtins.int]
            True
        ).tag(sync=True)
    )
    reveal_type(
        Bool(  # R: traitlets.traitlets.Bool[builtins.bool | None, builtins.bool | builtins.int | None]
            None, allow_none=True
        )
    )
    reveal_type(
        Bool(  # R: traitlets.traitlets.Bool[builtins.bool | None, builtins.bool | builtins.int | None]
            None, allow_none=True
        ).tag(sync=True)
    )
    reveal_type(
        T.b  # R: traitlets.traitlets.Bool[builtins.bool, builtins.bool | builtins.int]
    )
    reveal_type(t.b)  # R: builtins.bool
    reveal_type(t.ob)  # R: builtins.bool | None
    reveal_type(
        T.b  # R: traitlets.traitlets.Bool[builtins.bool, builtins.bool | builtins.int]
    )
    reveal_type(
        T.ob  # R: traitlets.traitlets.Bool[builtins.bool | None, builtins.bool | builtins.int | None]
    )
    # we would expect this to be Optional[bool | int], but...
    t.b = "foo"  # E: Incompatible types in assignment (expression has type "str", variable has type "bool | int")  [assignment]
    t.b = None  # E: Incompatible types in assignment (expression has type "None", variable has type "bool | int")  [assignment]


@pytest.mark.mypy_testing