test_name static-comparison-test
test_description Checks the compiler correctly type checks static equality expressions

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

compile_melted
compile_result	validity_warning TEST VWEQ

test_end