test_name	 validity-vuex2-in-multibranch
test_description Export status of a constant used in a multibranch instruction may need to be checked if it is a static feature.

copy_sub	Ace $TEST Ace

define		EXPORT "{}"
copy_sub	test.e  $CLUSTER test.e
compile_melted
compile_result	validity_error TEST VUEX(2)

define		EXPORT "{NONE}"
copy_sub	test.e  $CLUSTER test.e
resume_compile
compile_result	validity_error TEST VUEX(2)

define		EXPORT "{INTEGER}"
copy_sub	test.e  $CLUSTER test.e
resume_compile
compile_result	validity_error TEST VUEX(2)

define		EXPORT "{TEST}"
copy_sub	test.e  $CLUSTER test.e
resume_compile
compile_result	ok

define		EXPORT "{ANY}"
copy_sub	test.e  $CLUSTER test.e
compile_melted
compile_result	ok

define		EXPORT ""
copy_sub	test.e  $CLUSTER test.e
compile_melted
compile_result	ok

test_end