test_name 	 inference-implicit-typing
test_description An untyped variable may be used in constructs with implicit typing like object tests and iteration forms of loops.

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

compile_melted
compile_result   validity_error TEST Syntax:19 Syntax:20 Syntax:22 Syntax:45 Syntax:46 Syntax:48

test_end