test_name inherited-generic-type-validation test_description Validate inherited generic type. copy_sub Ace $TEST Ace copy_raw test.e $CLUSTER test.e copy_raw a.e $CLUSTER a.e copy_raw b.e $CLUSTER b.e compile_melted compile_result validity_error B VTCG -- VTGD(2) test_end