Skip to content

BTree: remove Ord bound where it is absent elsewhere#79245

Merged
bors merged 1 commit intorust-lang:masterfrom
ssomers:btree_curb_ord_bound
Feb 8, 2021

Commits

Commits on Feb 6, 2021