Skip to content

Prefer partition_point to look up assoc items#86392

Merged
bors merged 1 commit intorust-lang:masterfrom
JohnTitor:use-partition-point
Jun 17, 2021
Merged

Prefer `partition_point` to look up assoc items#86392
bors merged 1 commit intorust-lang:masterfrom
JohnTitor:use-partition-point

Commits

Commits on Jun 17, 2021