test_name 	 inherit-generic-with-self-as-formal
test_description A generic class TEST1 [G, H] that inherits TEST2 [TEST1 [G, H]] crashes the compiler when you have a local variable which is an anchor to an argument involving one of the formal generic parameter.

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

test_end