test_name 	 void-assigned-to-stable-attribute
test_description Void assigned to a stable attribute should raise an error.

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

compile_melted
compile_result	validity_error TEST VBAR(2) VBAR(2) VBAR(2) VBAR(2)

test_end