test_name 	svalid-inherited-invariant-not-checked
test_description The class invariant should be rechecked for validity in descendant classes when full_class_checking is enabled but is not

copy_sub 	Ace $TEST Ace
copy_raw 	test.e $CLUSTER test.e
copy_raw 	test1.e $CLUSTER test1.e
copy_raw 	parent.e $CLUSTER parent.e
copy_raw 	child.e $CLUSTER child.e

compile_melted
compile_result	validity_error TEST VGCC(6)

test_end