But that's also arguably pretty boring because it's very easy to dynamically check and the cost for doing so is relatively small compared to what needs to be done for other properties.
On the other hand statically checking bounds for (dynamic and non) arrays is very very hard in the general case.
On the other hand statically checking bounds for (dynamic and non) arrays is very very hard in the general case.