• @chrismit3s@feddit.de
    link
    fedilink
    62 years 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.