test_name ref-exp-polymorphism
test_description A routine is covariantly redefined from a reference type to an expanded type. At runtime the code fails.

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

compile_melted
compile_result ok

execute_work NONE exec_output_1
execute_result	ok
compare	exec_output_1 output

test_end