There is type inference in all of the Python type checkers, it's not necessarily an "untyped" var because it lacks an annotation. Running a type checker in Pyt

There is type inference in all of the Python type checkers, it's not necessarily an "untyped" var because it lacks an annotation. Running a type checker in Python is a way to avoid runtime type errors, just like in compiled languages, but without a performance benefit.