test_name 	 conform-to-type-precondition-violation
test_description Compiling a system with complex generic constraints crashes an assertion-enabled compiler with a precondition violation for {TYPE_SET_A}.conform_to_type.

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
copy_raw	test3.e $CLUSTER test3.e

compile_melted
compile_result	validity_error TEST1 VTUG(2)

test_end