Assertion: compiler | /r/CapableOf | check in many situations
Facets:
Source sentences:
text: Bounds-checking elimination allows the compiler to safely remove bounds checking in many situations where it can determine that the index must fall within valid bounds; for example, if it is a simple loop variable.