Change `WorkProduct::saved_files` to an `Option`.#72126

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

nnethercote:change-WorkProduct-saved_filesnnethercote/rust:change-WorkProduct-saved_filesCopy head branch name to clipboard