Thank you for the interesting explanation of how it works! I see its value as a way to remove array bounds checks for the cases where it can prove no overflow problems. So I see it as an optimization. But it does not *solve* the problem. Array bounds checks solve it.