test_name 	 inference-direct-dependency
test_description A type of a variable that depends on another untyped variable may require several steps to compute.

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

compile_melted
compile_result   validity_error TEST "Syntax Error:12" "Syntax Error:13" "Syntax Error:14" "Syntax Error:15"

test_end