• @[email protected]
    link
    fedilink
    611 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.