To be clear, this feature has forever been supported by the type checkers, it's just that running python code with `reveal_type` would fail since it's not defined at run-time. IIUC, this change makes it so that it doesn't fail at run time.