Fix missing warning on standalone x[1,2,3] statement
Array values lookup tests
if statement's return type checks