test_name	actual-generic-none-crash
test_description A generic type TEST1 which has one formal with a creation constraint that is not empty is used with TEST1[NONE] causes the compiler to crash instead of reporting an error.

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

compile_melted
compile_result validity_error TEST VTCG

test_end