test_name changing-formals-precursor-crash
test_description When a generic class which has a call to a Precursor has its generic parameters modified, and the parent type for the precursor has also its generic parameters modified, the compiler crashes because it did not update the code to reflect that change.

define ACTUAL "STRING"
define FORMAL "G"
define FORMAL_2 "G"
copy_sub Ace $TEST Ace
copy_sub test.e $CLUSTER test.e
copy_sub test1.e $CLUSTER test1.e
copy_sub test2.e $CLUSTER test2.e

compile_melted
compile_result ok

execute_work 	NONE 	exec_output1
execute_result 	ok
compare		exec_output1 output

define ACTUAL "STRING, STRING"
define FORMAL "G, H"
define FORMAL_2 "G, H"
copy_sub test.e $CLUSTER test.e
copy_sub test1.e $CLUSTER test1.e
copy_sub test2.e $CLUSTER test2.e

compile_melted
compile_result ok

execute_work 	NONE 	exec_output2
execute_result 	ok
compare		exec_output2 output

define FORMAL "G, H"
define FORMAL_2 "G"
copy_sub test1.e $CLUSTER test1.e
copy_sub test2.e $CLUSTER test2.e

compile_melted
compile_result ok

execute_work 	NONE 	exec_output3
execute_result 	ok
compare		exec_output3 output

test_end