test_name wrong-type-in-expanded-generic-in-generic
test_description When a generic class is derived with an expanded generic type, all the references to any formal does not get the proper dynamic type.

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

compile_melted
compile_result ok
execute_work NONE exec_output_m
execute_result ok
compare exec_output_m output

compile_frozen
compile_result ok
execute_work NONE exec_output_w
c_compile_work
c_compile_result ok
execute_result ok
compare exec_output_w output

compile_final
compile_result ok
c_compile_final
c_compile_result ok
execute_final NONE exec_output_f
execute_result ok
compare exec_output_f output



test_end