test_name multi-constraint-constrained-by-self test_description A formal that is constrained by itself and by another class causes the compiler to report an incorrect VTMC(1) error if the formal is first in its list of constraining types and if this is a void-safe system define CONSTRAINT "{TEST2, G}" copy_sub Ace $TEST Ace copy_raw test.e $CLUSTER test.e copy_sub test1.e $CLUSTER test1.e copy_raw test2.e $CLUSTER test2.e compile_melted compile_result ok execute_work NONE exec_output1 execute_result ok compare exec_output1 output define CONSTRAINT "{G, TEST2}" copy_sub test1.e $CLUSTER test1.e compile_melted compile_result ok execute_work NONE exec_output2 execute_result ok compare exec_output2 output test_end