test_name change-generic-finalization-crash
test_description When performing a change in the formal generic parameters of a class, finalizing crashes the compiler.

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

compile_melted
compile_result	ok

copy_raw 	test_rev1.e $CLUSTER test.e
copy_raw 	test1_rev1.e $CLUSTER test1.e

compile_final
compile_result  validity_error TEST VTCG:10

copy_raw        test1_rev2.e $CLUSTER test1.e

resume_compile
compile_result ok
c_compile_final
c_compile_result ok

execute_final 	NONE exec_output1
execute_result 	ok
compare		exec_output1 output

test_end