test_name simple-catcall-generic
test_description Simple detection of a catcall involving call of feature with generic formal arguments which is only allowed on non-variant actual generic parameter.

copy_sub Ace $TEST Ace
define ANCESTOR_TYPE	"TEST1 [STRING]"
copy_sub test.e $CLUSTER test.e
copy_raw test1.e $CLUSTER test1.e

compile_melted
compile_result ok

define ANCESTOR_TYPE	"TEST1 [frozen STRING]"

compile_melted
compile_result ok

define ANCESTOR_TYPE	"TEST1 [variant STRING]"
copy_sub test.e $CLUSTER test.e

compile_melted
compile_result	validity_error TEST Catcall

test_end