[ St. Louis 2024-06-24; set priority to P3 ]

LWG 270 relaxed the requirements for comp of binary search algorithms ([alg.binary.search]). However, the relaxation doesn't seem automatically applied to ranges versions, because ranges versions of these algorithms constrain the Comp types with indirect_strict_weak_order.

Perhaps we should additionally say some semantic requirements of indirect_strict_weak_order aren't imposed for these algorithms or change the constraints.