test_name 	catcall-crash-is-covariant-to
test_description A small set of class compiled with catcall detection enabled crashes the compiler in {EXTERNAL_FUNC_I}.is_covariant_to

copy_sub 	Ace $TEST Ace
copy_raw 	test.e $CLUSTER test.e
copy_raw	ds_bilinear.e $CLUSTER ds_bilinear.e 
copy_raw	ds_bilinear_cursor.e $CLUSTER ds_bilinear_cursor.e 
copy_raw	ds_binary_search_tree_container.e $CLUSTER ds_binary_search_tree_container.e 
copy_raw	ds_binary_search_tree_container_cursor.e $CLUSTER ds_binary_search_tree_container_cursor.e 
copy_raw	ds_binary_search_tree_container_node.e $CLUSTER ds_binary_search_tree_container_node.e 
copy_raw	ds_container.e $CLUSTER ds_container.e 
copy_raw	ds_cursor.e $CLUSTER ds_cursor.e 
copy_raw	ds_linear.e $CLUSTER ds_linear.e 
copy_raw	ds_linear_cursor.e $CLUSTER ds_linear_cursor.e 
copy_raw	ds_searchable.e $CLUSTER ds_searchable.e 
copy_raw	ds_traversable.e $CLUSTER ds_traversable.e 
copy_raw	kl_any_routines.e $CLUSTER kl_any_routines.e 
copy_raw	kl_clonable.e $CLUSTER kl_clonable.e 
copy_raw	kl_comparator.e $CLUSTER kl_comparator.e 
copy_raw	kl_equality_tester.e $CLUSTER kl_equality_tester.e 
copy_raw	kl_imported_any_routines.e $CLUSTER kl_imported_any_routines.e 
copy_raw	kl_part_comparator.e $CLUSTER kl_part_comparator.e 

compile_melted
compile_result validity_error TEST VUAR(2); DS_LINEAR Catcall ; DS_TRAVERSABLE Catcall Catcall Catcall; DS_BILINEAR_CURSOR Catcall Catcall Catcall Catcall Catcall Catcall ; DS_LINEAR_CURSOR Catcall Catcall Catcall Catcall Catcall Catcall ; DS_CURSOR Catcall Catcall Catcall Catcall Catcall Catcall ; KL_ANY_ROUTINES Catcall Catcall

test_end