mypy——处理Python中缺少非空断言运算符的问题

我想允许Mypy的strict_optional旗帜但是，考虑一下：

emails = [get_user(uuid).email for uuid in user_uuids]

哪里get_user可能会回来None从理论上讲，但在这个用例中，我知道它不能（如果可以的话，我可以得到一个异常）。这必须成为：

emails = []
for uuid in user_uuids:
    user = get_user(uuid)
    assert user is not None
    emails.append(user.email)

在TypeScript中，有一个非空断言运算符这样你就可以添加一个!（如getUser(uuid)!.email).

有没有更好或更优雅的方法来处理这个问题？