Skip to content

Avoid unnecessary comparison in partition_equal#117179

Merged
bors merged 1 commit intorust-lang:masterfrom Voultapher:fix-useless-comp-in-partition-equalNov 5, 2023

Commits

Commits on Oct 25, 2023