Code

BTreeMap: remove shared root#70111

Code

Merged

bors merged 7 commits intorust-lang:masterrust-lang/rust:masterfrom Mark-Simulacrum:btree-no-sharedMark-Simulacrum/rust:btree-no-sharedCopy head branch name to clipboardMar 21, 2020

+223-266

Commits

Commits on Mar 20, 2020

• Replace shared root with optional root

  Show description for e61f126
  Mark-Simulacrum

  committed
  e61f126

  Copy full SHA for e61f126

• Remove shared root code and assertions from BTree nodes

  Mark-Simulacrum

  committed
  1c44f85

  Copy full SHA for 1c44f85

• Make functions dependent only on shared root avoidance safe

  Mark-Simulacrum

  committed
  3c04fda

  Copy full SHA for 3c04fda

• Drop NodeHeader type from BTree code

  Show description for 54b7c38
  Mark-Simulacrum

  committed
  54b7c38

  Copy full SHA for 54b7c38

• Simplify ensure_root_is_owned callers

  Show description for 13f6d77
  Mark-Simulacrum

  committed
  13f6d77

  Copy full SHA for 13f6d77

• Update test commentary for shared root removal

  Mark-Simulacrum

  committed
  4d85314

  Copy full SHA for 4d85314

• Fix debugger pretty printing of BTrees

  Mark-Simulacrum

  committed
  bce7f6f

  Copy full SHA for bce7f6f