Clarify pop_lazy docs (#15580)