Skip to content

improve worst-case performance of HashSet.is_subset#59665

Merged
bors merged 1 commit intorust-lang:masterfrom ssomers:hashset_revisitedApr 5, 2019
+5-1

Commits

Commits on Apr 3, 2019