diff --git a/tests/run/type_inference.pyx b/tests/run/type_inference.pyx index 0cfdd5e1c1d296415adce2183379c921025d0505..0666014b2be2fdff1c5250917f789df2c1ef6e3d 100644 --- a/tests/run/type_inference.pyx +++ b/tests/run/type_inference.pyx @@ -203,3 +203,25 @@ def args_tuple_keywords(*args, **kwargs): """ assert typeof(args) == "tuple object", typeof(args) assert typeof(kwargs) == "dict object", typeof(kwargs) + +@infer_types('safe') +def args_tuple_keywords_reassign_same(*args, **kwargs): + """ + >>> args_tuple_keywords_reassign_same(1,2,3, a=1, b=2) + """ + assert typeof(args) == "tuple object", typeof(args) + assert typeof(kwargs) == "dict object", typeof(kwargs) + + args = () + kwargs = {} + +@infer_types('safe') +def args_tuple_keywords_reassign_pyobjects(*args, **kwargs): + """ + >>> args_tuple_keywords_reassign_pyobjects(1,2,3, a=1, b=2) + """ + assert typeof(args) == "Python object", typeof(args) + assert typeof(kwargs) == "Python object", typeof(kwargs) + + args = [] + kwargs = "test"