Assertion: assertion | /r/CapableOf | permit certain optimizations
Facets:
Source sentences:
text: Assertions may also be used to promise the compiler that a given edge condition is not actually reachable, thereby permitting certain optimizations that would not otherwise be possible.
text: Assertions may also be used to promise the compiler that a given edge condition is not actually reachable, thereby permitting certain optimizations that would not otherwise be possible.