pub fn leave()
Tear down the active progress sink, emitting its final summary. No-op if enter wasn’t called.
enter