test_name 	 qualified-anchor-expansion-9
test_description If `x' is of a formal generic type and there is a call on it with an argument of type like `A [like {G}.item]' where G is another formal generic parameter then the compiler crashes at degree 4 or 3.

copy_sub	Ace $TEST Ace
copy_raw	test.e $CLUSTER test.e
copy_raw	a.e $CLUSTER a.e
copy_raw	b.e $CLUSTER b.e
copy_raw	c.e $CLUSTER c.e
copy_raw	d.e $CLUSTER d.e

compile_melted
compile_result	validity_error A VUAR(2)

test_end