Merge pull request #536 from crytic/dev-tuples-types

Improve type support for tuple

slither/visitors/slithir/expression_to_slithir.py

@@ -115,11 +115,14 @@ class ExpressionToSlithIR(ExpressionVisitor):
                 set_val(expression, None)
             else:
                 assert isinstance(right, TupleVariable)
+                tuple_types = []
                 for idx in range(len(left)):
                     if not left[idx] is None:
                         operation = Unpack(left[idx], right, idx)
                         operation.set_expression(expression)
+                        tuple_types.append(left[idx].type)
                         self._result.append(operation)
+                right.set_type(tuple_types)
                 set_val(expression, None)
         else:
             # Init of array, like