test_name 	bogus-vuta-on-procedure-target
test_description A call whose target is a procedure correctly elicits a VKCN(3) error but the compiler also reports an unnecessary VUTA(2) error when compiled in void-safe mode

copy_sub 	Ace $TEST Ace
copy_raw 	test.e $CLUSTER test.e

compile_melted
compile_result validity_error TEST VKCN(3)

test_end