test_name	svalid-infix-with-conversion
test_description An infix routine call with a conversion fails to type check in descendant class due to the lost of the conversion structure.

copy_sub	Ace	$TEST Ace
copy_raw	test.e	$CLUSTER test.e
copy_raw	test1.e	$CLUSTER test1.e
copy_raw	a.e	$CLUSTER a.e
copy_raw	b.e	$CLUSTER b.e
copy_raw	c.e	$CLUSTER c.e
copy_raw	d.e	$CLUSTER d.e
copy_raw	e.e	$CLUSTER e.e

compile_melted
compile_result ok

test_end