Almost surely we need a separate PR(s) to switch things away from all_write (with initialization) to something like all_full_write, because we would need to consider the some nuance to algorithms like copy_if, and many other algorithms where a user may provide a output range larger than what is required.
Originally posted by @danhoeflinger in #2551 (comment)