test_name inference-single-lower-bound test_description Type inference is straightforward for locals with one type lower bound. copy_sub Ace $TEST Ace copy_raw test.e $CLUSTER test.e compile_melted compile_result validity_error TEST "Syntax Error:11" test_end