--| 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 two-anchored-actual-generics test_description A feature `z: TEST2 [like w, like w]' where TEST2 is a generic class with two unconstrained formal generic parameters should be valid, but the compiler says it violates VTAT(1). copy_sub Ace $TEST Ace copy_raw test.e $CLUSTER test.e copy_raw test2.e $CLUSTER test2.e compile_melted compile_result ok test_end