test_name multi-constraint-alias-renamed
test_description Tests whether the renaming of alias features works for constraint types of a multi constrained formal generic.

copy_sub 	Ace $TEST Ace
copy_raw 	test.e $CLUSTER test.e
copy_raw 	multi.e $CLUSTER multi.e

compile_melted
compile_result 	validity_error MULTI VWOE

test_end