Ask a static type checker to reveal the inferred type of an expression.
typing.reveal_type(obj, /)
x: int = 1
reveal_type(x) Revealed type is "builtins.int"
x = reveal_type(1) prints "Runtime type is int"
print(x) prints "1"