test_name 	 qat-inference-crash
test_description If `x' is of a potentially formal generic type and there is a call on it to a feature 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 "Syntax Error:10"

test_end