This commit clarifies the semantics of the PriorityOrdered interface with respect to sorting sets of objects containing both PriorityOrdered and plain Ordered objects. Closes gh-23187
This commit clarifies the semantics of the PriorityOrdered interface with respect to sorting sets of objects containing both PriorityOrdered and plain Ordered objects. Closes gh-23187