You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Editorial: CombineDateAndTimeDuration in NudgeToZonedTime is infallible
dateDuration and roundedTimeDuration cannot have opposite signs, so the
operation can't throw.
dateDuration must have the same sign as duration, because dayDelta either
is 0 or also has the same sign as duration.
roundedTimeDuration must have the same sign as duration or be 0, because
either it is rounded from duration in step 10, or it is rounded from
beyondDaySpan in step 12.c. beyondDaySpan also cannot have the opposite
sign as duration if we go into the substeps of step 12.
See: #3023
0 commit comments