library: update comment around close()#133330

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

RalfJung:closeRalfJung/rust:closeCopy head branch name to clipboard