test_name 	 inherit-like-anchor-to-like-current
test_description A feature has one of its actual generic parameter of type `like anchor' and `anchor' is `like Current. In a descendant class, we redefine the actual generic parameter to be the current type (instead of `like Current') and it failed to compile where it should.

define ROOT	TEST

copy_sub	Ace	$TEST Ace
copy_raw	test.e	$CLUSTER test.e
copy_raw	test1.e	$CLUSTER test1.e
copy_raw	test2.e	$CLUSTER test2.e

compile_melted
compile_result	ok

execute_work	NONE exec_output1
execute_result	ok
compare		exec_output1 output

cleanup_compile

define ROOT	ROOT_CLASS

copy_sub	Ace	$TEST Ace
copy_raw	root_class.e	$CLUSTER root_class.e

compile_frozen
compile_result	validity_warning ROOT_CLASS "Unused Local"
c_compile_work
c_compile_result ok

execute_work	NONE exec_output2
execute_result	ok
compare		exec_output2 output

test_end