test_name reverse-assignment-on-attached-target-broken test_description If you reverse assign an object to a target which is attached, when executed you get Void when you should really get a non-Void object. copy_sub Ace $TEST Ace copy_raw test.e $CLUSTER test.e compile_melted compile_result validity_error TEST VJRV(3) copy_raw test_rev1.e $CLUSTER test.e resume_compile compile_result ok execute_work NONE exec_output_m execute_result ok compare exec_output_m output compile_frozen compile_result ok c_compile_work c_compile_result ok execute_work NONE exec_output_w execute_result ok compare exec_output_w output compile_final compile_result ok c_compile_final c_compile_result ok execute_final NONE exec_output_f execute_result ok compare exec_output_f output test_end