Be less aggressive with `DroplessArena`/`TypedArena` growth.#71872

Merged

bors merged 2 commits intorust-lang:masterfrom nnethercote:less-aggressive-arena-growth

May 16, 2020

+26-13

Commits on May 13, 2020