test_name 	bogus-vevi-when-inherit-expanded
test_description A class that inherits from an expanded class causes the compiler to report a VEVI error on feature `default' from ANY.  This must be wrong since `default' is frozen, so there is no way to fix the error.

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

compile_melted
compile_result ok

test_end