[flow] improved sema-checks on array expressions.
[flow] improved sema-checks on array expressions.

christianparpart/x0,xzero/x0,christianparpart/x0,christianparpart/x0,xzero/x0,christianparpart/x0,christianparpart/x0,xzero/x0,xzero/x0,christianparpart/x0,xzero/x0,christianparpart/x0,xzero/x0