Why are some static type-checking functionalities implemented as identity functions?
For example, `typing.cast` returns the argument unchanged. Obviously, this has no effect on the program at runtime. If this is the case, why can we not just tell the static type checker (mypy) that we want the argument to be treated as some type *without* having to add a function call? Why can’t this override/cast be in a comment of some sort?