--| 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 	 generic-like-current-vjar
test_description An assignment `b := a.new_b' in a generic class `C [G -> A]', where a is of type A, b is of type B [G] and new_b is of type `B [like Current]' should be accepted because the type of `a.new_b' is effectively B [G], but the compiler reports a VJAR error.

copy_sub 	 Ace $TEST Ace
copy_raw 	 test.e $CLUSTER test.e
copy_raw 	 a.e $CLUSTER a.e
copy_raw 	 a1.e $CLUSTER a1.e
copy_raw 	 b.e $CLUSTER b.e
copy_raw 	 c.e $CLUSTER c.e
compile_melted
compile_result 	 ok

test_end