test_name 	qat-constraints-if-possible-crash	
test_description A set of classes using qualified anchored types crashes the compiler in {EIFFEL_CLASS_C}.constraints_if_possible.

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

compile_melted
compile_result	ok

test_end