Pads whichever of base/next is shallower with empty local scopes until both are at the same lexical level.
base
next
Pads whichever of
base/nextis shallower with empty local scopes until both are at the same lexical level.