• chrismit3s@feddit.de
    link
    fedilink
    arrow-up
    6
    ·
    8 months ago

    If you wrote the type signature of get_user as tuple[User, None] | tuple[None, Exception], the assertion would not be necessary and the type checker wouldn’t complain.