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