Reflect possibility of failure in editFile's type