test_name catcall-and-full-class-checking
test_description A system whose configuration file has both cat_call_detection and full_class_checking enabled causes the compiler to crash in degree 3.

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

compile_melted
compile_result validity_error TEST1 VUEX(2) VUEX(2) VUEX(2)

test_end