test_name 	 static-call-on-formal-generic-type
test_description Validate static call on formal generic type.

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

compile_melted
compile_result	ok

test_end