Skip to content

Hint that choose_pivot returns index in bounds#144314

Merged
bors merged 1 commit intorust-lang:masterfrom
kornelski:pivot-safely
Jul 25, 2025
Merged

Hint that choose_pivot returns index in bounds#144314
bors merged 1 commit intorust-lang:masterfrom
kornelski:pivot-safely

Commits

Commits on Jul 23, 2025