test_name vrft-in-nested-tuple-type
test_description A type TUPLE [a: TUPLE [out: INTEGER]] should be a VRFT error since `out' is a feature of the class but the compiler does not detect it.

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

compile_melted
compile_result validity_error TEST VRFT

test_end