--| Copyright (c) 1993-2006 University of Southern California and contributors.
--| All rights reserved.
--| Your use of this work is governed under the terms of the GNU General
--| Public License version 2.

-- This is a test control file

test_name 	 remove-vtcg-still-complains
test_description A system with a VTCG error caused by type `expanded STRING' as an actual generic parameter that does not conform to ANY is compiled. The compiler correctly detects the error.  When the actual generic is changed to STRING, the compiler still reports a VTCG error though none is present.

copy_sub 	Ace $TEST Ace
define		EXPANDED "expanded"
copy_sub 	test.e $CLUSTER test.e
copy_raw 	test1.e $CLUSTER test1.e
compile_final
compile_result 	validity_error TEST VTCG

define		EXPANDED ""
copy_sub 	test.e $CLUSTER test.e
resume_compile
compile_result 	ok

test_end