test_name inference-recursive-tuple test_description An untyped variable may be attached a tuple expression recursively. copy_sub Ace $TEST Ace copy_raw test.e $CLUSTER test.e compile_melted compile_result validity_error TEST Syntax Syntax Syntax test_end