test_name anchor-on-feature-with-formal
test_description The creation of a type involving in its actual generic parameter an anchor to a feature whose type is a formal generic of the class yield the wrong type to be created as it does not evaluate the type of the anchor at runtime but takes the type of the formal generic parameter instead.

copy_sub 	Ace $TEST Ace
copy_raw 	test.e $CLUSTER test.e
copy_raw 	a.e $CLUSTER a.e
copy_raw 	b.e $CLUSTER b.e
copy_raw 	c.e $CLUSTER c.e

compile_melted
compile_result	ok

execute_work 	NONE 	exec_output1
execute_result 	ok
compare		exec_output1 output

compile_frozen
compile_result	ok

c_compile_work
c_compile_result	ok

execute_work 	NONE 	exec_output2
execute_result 	ok
compare		exec_output2 output

compile_final
compile_result	ok

c_compile_final
c_compile_result	ok

execute_final 	NONE 	exec_output3
execute_result 	ok
compare		exec_output3 output

test_end