Let's say I have the following function:
def spam(a: str, b: str, c: str, d: int = 42): ...
Now if I call that with:
spam(*"a/b".split("/", 2), "hello")
That will execute fine and actually result in appropriate types for those arguments.
Unfortunately both Pylance and mypy say that call is incompatible because of `str.split(...) -> List`. And since 'typing' lacks an concept of a sized list like it does for tuples, I don't know how to make this pass.
Am I overlooking something? Or is this a gap due to there not being an equivalent of 'SizedList' in 'typing'?