test_name 	 formal-as-argument-no-conformance
test_description Should a concret type conform to an actual generic parameter specified in the constraint of a formal generic parameter?

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

compile_melted
compile_result	ok

test_end