from typing import *

def raise_error() -> NoReturn:
    raise Exception()

a = cast(int | None, 1)
if a is None:
    raise_error()

reveal_type(a)  # revealed type: int | None