Consider this example (derived from starlark/src/typing/tests/golden/types_of_args_kwargs.golden):
# reproducer.star
def foo(*args: str, **kwargs: int):
pass
def test():
foo("a")
foo(b=1)
test()
This is valid code according to according to PEP 484, valid according to starlark-rust's static type checker (tested in typing::tests::call::test_types_of_args_kwargs), but unfortunately invalid when actually run with type checking.
Tested on bdc8f8e.
Consider this example (derived from
starlark/src/typing/tests/golden/types_of_args_kwargs.golden):This is valid code according to according to PEP 484, valid according to starlark-rust's static type checker (tested in
typing::tests::call::test_types_of_args_kwargs), but unfortunately invalid when actually run with type checking.Tested on bdc8f8e.