12 Dec
2014
12 Dec
'14
11:12 p.m.
The precondition is wrong. It should read "('left_closed' AND 'right_closed') must be false.
Sorry. That's also incorrect: left_closed || right_closed == true. That is: first = upper_bound(lower_key); second = lower_bound(upper_key); leads to an invalid range, since "first" could be bigger than "second" if lower_key == upper_key. Ion