Assertion: compiler | /r/CapableOf | remove bound
Facets:
value: safely
type: MANNER
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.