test_name 	dynamic-deferred-routine-implemented-in-generic
test_description Finalizing a system that calls a routine which is deferred with only one implementation in a generic class which has many generic derivation. The routine call will be static to one of the generic derivation rather than fully dynamic.

copy_sub 	Ace $TEST Ace
copy_raw 	test.e $CLUSTER test.e
copy_raw 	char_val_b.e $CLUSTER char_val_b.e
copy_raw 	int_val_b.e $CLUSTER int_val_b.e
copy_raw 	interval_b.e $CLUSTER interval_b.e
copy_raw 	interval_span.e $CLUSTER interval_span.e
copy_raw 	interval_val_b.e $CLUSTER interval_val_b.e
copy_raw 	typed_interval_b.e $CLUSTER typed_interval_b.e
copy_raw 	typed_interval_val_b.e $CLUSTER typed_interval_val_b.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