test_name valid-generic-derivation
test_description A formal generic parameter is constraint to another one and specifies a creation routine. Currently the compiler generates VTCG6 error instead of accepting the code.

copy_sub	Ace	$TEST Ace
copy_raw	test.e	$CLUSTER test.e
copy_raw	root_class.e $CLUSTER root_class.e
copy_raw	a.e $CLUSTER a.e
copy_raw	generic.e $CLUSTER generic.e


compile_melted
compile_result ok

test_end