test_name svalid-conversion-validity-error
test_description When redefining the signature of a routine called by another routine the argument does not conform to the target but convert then the compiler accepts the code instead of rejecting because in inherited code we should not redo the conversion.

copy_sub 	Ace $TEST Ace
copy_raw 	test.e $CLUSTER test.e
copy_raw 	test1.e $CLUSTER test1.e
copy_raw 	a.e $CLUSTER a.e
copy_raw 	b.e $CLUSTER b.e

compile_melted
compile_result	validity_error TEST VUAR(2)

test_end