test_name 	 qat-invalid-veen-in-generic-descendant
test_description Creation of an attribute `x: like {G}.default' in a generic class with formal generic G that has a generic descendant causes the compiler to report an incorrect VEEN error on `x' in the generic descendant

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

test_end