BTree: lighten the load on Miri#68781
Merged
bors merged 2 commits intorust-lang:masterfrom Feb 17, 2020
ssomers:btree_miri_relief
Merged
BTree: lighten the load on Miri#68781bors merged 2 commits intorust-lang:masterfrom ssomers:btree_miri_relief
bors merged 2 commits intorust-lang:masterfrom
ssomers:btree_miri_relief