test_name single-constraint-formal-renaming
test_description A formal type parameter has a single constraint and a renaming. The renaming should work eventhough we're not in the multi-constraint case.
copy_sub 	Ace $TEST Ace
copy_raw 	test.e $CLUSTER test.e
copy_raw 	a.e $CLUSTER a.e

compile_melted
compile_result 	ok

execute_work	NONE exec_output_melted
execute_result	ok
compare		exec_output_melted output

test_end