test_name	constraint-type-comparison
test_description A generic type constrainted on other generic should not cause compiler crash when using it in comparison (bug#11634).

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

compile_melted
compile_result ok

execute_work	NONE exec_output
execute_result	ok
compare		exec_output output

test_end