Prevent costly sort if the results will be ignored anyway.#8379
Merged
isoos merged 1 commit intodart-lang:masterfrom Dec 10, 2024
Merged
Prevent costly sort if the results will be ignored anyway.#8379isoos merged 1 commit intodart-lang:masterfrom
isoos merged 1 commit intodart-lang:masterfrom