as a lot of things become possible & better with data flow analysis, not just bounds check elimination.
Great. Now I know.
Btw: Could you elaborate a bit on what data flow optimizations mean? What other kinds of optimizations will become possible? Is this something that other langs/compilers offer?
