test_name typed-manifest-array-item-validity
test_description Manifest array element types should conform to explicit element type.
if DOTNET define PRECOMPILE
if not DOTNET define PRECOMPILE
copy_sub Ace $TEST Ace
copy_raw test.e $CLUSTER test.e
compile_melted
if DOTNET compile_result validity_error TEST VWMA VWMA VWMA VWMA VWMA VWMA VWMA
if not DOTNET compile_result validity_error TEST VWMA VWMA VWMA VWMA VWMA VWMA VWMA VWMA VWMA
test_end