From 1e38ecdbbee983a049500102af9e50ee33b446a8 Mon Sep 17 00:00:00 2001
From: Robert Griesemer ok is true
if the assertion holds. Otherwise it is false and the value of v is
the zero value for type T.
-No run-time panic occurs in this case.
+No run-time panic occurs in this case.
+,
-, *, /, and << may legally
overflow and the resulting value exists and is deterministically defined
by the signed integer representation, the operation, and its operands.
-No exception is raised as a result of overflow.
+Overflow does not cause a run-time panic.
A compiler may not optimize code under the assumption that overflow does
not occur. For instance, it may not assume that x < x + 1 is always true.
--
2.52.0