Summary
This incorrect code passes type checking:
def some_fn(a: int):
pass
some_fn(*None)
But fails at runtime:
TypeError: some_fn() argument after * must be an iterable, not NoneType
On the other hand, this is correctly flagged as an error:
https://play.ty.dev/952eb26e-1acb-481f-b419-8e15f3c2a84a
Version
ty 0.0.7