test_name reference-generic-expanded-actual
test_description A system has a generic class whose formal generic parameter is declared "reference".  If a client of this class passes an expanded type, the compiler should report a VTCG error but does 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 VTCG

test_end