test_name formal-creation-crash
test_description When a formal creation in a class that has some formal generic parameter changed, it would crash.

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
copy_raw	test5.e $CLUSTER test5.e

compile_melted
compile_result ok

copy_raw	test1_rev1.e $CLUSTER test1.e

compile_melted
compile_result ok

compile_frozen
compile_result ok


test_end