test_name extra-vtcg-with-full-checking
test_description A generic class that inherits from STRING has a VTCG error, which is detected, but the compiler also reports an extra incorrect VTCG error.

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

compile_melted
compile_result validity_error TEST VTCG

test_end