feat: handle RTuple type

Author: BobTheBuidler

mypyc/irbuild/ll_builder.py

@@ -799,12 +799,12 @@ def _construct_varargs(
                         # fn(*args)
                         if is_list_rprimitive(value.type):
                             value = self.primitive_op(list_tuple_op, [value], line)
-                        elif not is_tuple_rprimitive(value.type):
+                        elif not is_tuple_rprimitive(value.type) and not isinstance(value.type, RTuple):
                             value = self.primitive_op(sequence_tuple_op, [value], line)
                         return value, self._create_dict([], [], line)
                     elif len(args) == 2 and args[1][1] == ARG_STAR2:
                         # fn(*args, **kwargs)
-                        if is_tuple_rprimitive(value.type):
+                        if is_tuple_rprimitive(value.type) or isinstance(value.type, RTuple):
                             star_result = value
                         elif is_list_rprimitive(value.type):
                             star_result = self.primitive_op(list_tuple_op, [value], line)

mypyc/test-data/irbuild-basic.test

@@ -1674,22 +1674,20 @@ def g():
     r0 :: tuple[int, int, int]
     r1 :: dict
     r2 :: str
-    r3, r4 :: object
-    r5 :: tuple
-    r6 :: dict
-    r7 :: object
-    r8 :: tuple[int, int, int]
+    r3 :: object
+    r4 :: dict
+    r5, r6 :: object
+    r7 :: tuple[int, int, int]
 L0:
     r0 = (2, 4, 6)
     r1 = __main__.globals :: static
     r2 = 'f'
     r3 = CPyDict_GetItem(r1, r2)
-    r4 = box(tuple[int, int, int], r0)
-    r5 = PySequence_Tuple(r4)
-    r6 = PyDict_New()
-    r7 = PyObject_Call(r3, r5, r6)
-    r8 = unbox(tuple[int, int, int], r7)
-    return r8
+    r4 = PyDict_New()
+    r5 = box(tuple[int, int, int], r0)
+    r6 = PyObject_Call(r3, r5, r4)
+    r7 = unbox(tuple[int, int, int], r6)
+    return r7
 def h():
     r0 :: tuple[int, int]
     r1 :: dict