Merge the specified sorted other list into this sorted list. This method has no effect if other is this list; otherwise, other is left empty. The behavior is undefined unless both other and this list are sorted in non‐decreasing order according to the ordering provided by operator<, and unless both other and this list use the same allocator. operator< must define a strict weak ordering per value_type (see {Comparators and Strict Weak Ordering}).