test_name 	 none-to-reference-formal
test_description If formal generic is reference, it does not mean it can be set to Void.

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

define	VOID	"Void"
define	NONE	"detachable NONE"
copy_sub	a.e $CLUSTER a.e

compile_melted
compile_result validity_error A VEVI

define	VOID	"x"
copy_sub	a.e $CLUSTER a.e

resume_compile
compile_result validity_error A VEVI

define	NONE	"detachable G"
copy_sub	a.e $CLUSTER a.e

resume_compile
compile_result validity_error A VEVI

define	NONE	"attached NONE"
copy_sub	a.e $CLUSTER a.e

resume_compile
compile_result validity_error A VEVI

test_end