test_name creation-constraint-like-current-deferred2
test_description Creation constraint should not be checked if actual generic derivation is `like Current'. Full class checking should find the error in ancestors (if they occur). Difference to valid208 is that we do not use the boarder case `default_create' but a new feature `make'.


define MAKE ""
copy_sub	Ace	$TEST Ace
copy_raw	root_class.e $CLUSTER root_class.e
copy_raw	a.e $CLUSTER a.e
copy_sub	b.e $CLUSTER b.e
copy_raw	generic.e $CLUSTER generic.e

compile_melted
compile_result validity_error B VTCG


define MAKE "make,"
copy_sub	b.e $CLUSTER b.e

resume_compile
compile_result ok



test_end