test_name 	 wrong-tuple-type-in-descendants
test_description If you have a manifest tuple [t.item] where t is declared at `A [like foo]' the compiler will forget about the anchor `like foo' when instantiated a formal, thus creating the wrong type at runtime.

copy_sub Ace $TEST Ace
copy_raw test.e $CLUSTER test.e
copy_raw test1.e $CLUSTER test1.e
copy_raw test2.e $CLUSTER test2.e
copy_raw test3.e $CLUSTER test3.e
copy_raw test4.e $CLUSTER test4.e

compile_melted
compile_result	ok

execute_work	NONE	exec_output1
execute_result	ok
compare		exec_output1 output1

copy_raw test3_rev1.e $CLUSTER test3.e

compile_melted
compile_result	ok

execute_work	NONE	exec_output2
execute_result	ok
compare		exec_output2 output2

test_end