test_name 	 qat-using-generic-feature-finalized
test_description Calling a function of type `like {TEST2 [TEST3]}.y' where `y: G' (formal generic of TEST2) and trying to print the generating type results in an execution-time segmentation fault if the system is finalized.

copy_sub	Ace $TEST Ace
copy_raw	test.e $CLUSTER test.e
copy_raw	test2.e $CLUSTER test2.e
copy_raw	test3.e $CLUSTER test3.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

c_compile_work
c_compile_result ok

execute_work	NONE exec_output_w
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