extended test case

diff --git a/tests/run/type_inference.pyx b/tests/run/type_inference.pyx
index 0cfdd5e1c1d296415adce2183379c921025d0505..0666014b2be2fdff1c5250917f789df2c1ef6e3d 100644 (file)
--- 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"