test_name instance_free-redeclaration-to-class test_description A feature can be redeclared into a class one if the precursor is a class feature or has no assertions. See also: test#free008. copy_sub Ace $TEST Ace copy_raw a.e $CLUSTER a.e copy_raw b.e $CLUSTER b.e copy_raw test.e $CLUSTER test.e compile_melted compile_result ok test_end